Else, many noisy and useless changes appear in PO files. If one commits right
after this stage without running refresh-translations first, despite what the
release process documentation says, this would make the Git history hard
to understand.