re-pathed "!" from tidlywiki to nav.html