Add missing manual renames from editor's renames_map

[menaechmi]

These are manual methods from the editor's renames map. There are a few that are not included for various reasons, that are discussed in issue #9850.

If possible this should probably also be added to previous release branches.