[Savannah-hackers-public] project rename incomplete

[Karl Berry]

Hi Michael - I renamed the new "gnurc" project to "remotecontrol" (after
talking with Stephen):

mgt# /opt/administration/maintenance/rename_project.sh gnurc remotecontrol

It seems to have mostly done the job, but not completely ... on the
project page, https://savannah.gnu.org/projects/remotecontrol, the links
in the Development Tools section (Source Code Manager, Bug Tracker,
etc.) still refer to "gnurc" rather than "remotecontrol".

What needs to happen to fix this?

Thanks,
karl