trac-hacks/navhiderplugin archive