// obsolete - moved to navmgr.js