Don't know for these ones, but they might be fixed. If you do your "git grep" on master, there's a good chance all issues you found might have already been fixed since last May. There's no update (as far as I know) on message fixes until the last few days before a release gets out. Message translation happens on another git repository.