[galaxy-dev] [hg] galaxy 3422: Make anchor ID/name editable in pages.