how to rename a port

Hi
   I am the maintainer for https://www.freshports.org/net-mgmt/unifi-poller/
and the upstream project has had to change its name to unpoller so I want
to change the port name to reflect this.

   How should I manage the user and group previously created in
/usr/ports/UID and /usr/ports/GID for this? Should I rename the previously
added user/group, or should I add a new user/group and mark the previous
one as available again?

   Also, apart from adding an entry to /usr/ports/MOVED (and updating port
location in /usr/ports and port files) is there anything else I need to do
to mark the port as moved?

Thanks

Anthony