[galaxy-dev] Renaming pages on the Galaxy wiki