tgupdate: merge t/nav/non-commit-ish into top-bases/gitweb-additions