Extended comment regarding navigation-manager.js

navigation-manager.js should be pulled from production code - the
comment makes this a bit more obvious