trac-hacks/navcontrolplugin archive