* Scripts/do-webcore-rename: Yet more renaming ideas.