Either I’m doing something wrong or else the…

Either I’m doing something wrong, or else the sync isn’t working properly. Case in point, these two strings have been obsoleted by this changeset (which is 9 hours old now), but the originals still list the old ones, here and here.