Moved ports - what to do?

[Lars Stokholm]

What is one supposed to do when ports are moved?

gnomemimedata, e.g., has just been moved/renamed to gnome-mime-data (as 
described in /usr/ports/MOVED). I've run pkgdb -Fu, which detected the 
move, but the package is still called by its old name, in the output of 
pkg_info (i.e. gnomemimedata).

I would have expected the installed package to be renamed to 
gnome-mime-data. Am I supposed to force a deinstallation of the old 
package and install the new one manually?