* Scripts/do-webcore-rename: Prepare for another round of renaming.