Fixes to documentation browsing.

* +default+: Treat empty local-path as index.html (not index.xhtml).
Also, don't bother sending a 301 re-direct - just handle it.
* browse-kawa-manual: No longer use flakey frameset version.
* kawa.texi: Update url for manual.
* with-frames.html: Incomplete fix/update. Probably obsolete.
1 job for master in 10 minutes and 51 seconds
Status Job ID Name Coverage
  Build And Test
passed #399922828
build_script

00:10:51