Fixes to navigation options and to index-dev.html