If they are using semver, the change to 5 implies there are some sort of breaking, non-bc changes to their developer APIs. However, if they didn’t introduce non-bc changes to their APIs, they clearly aren’t following semver, and they should have updated the version number to 4.x.x