Enable offline mode only for /offline
Fix to adjust title by a single place

Fix also a bug that titles of static pages are not automatically updated
after migrating to jQuery Mobile 1.4.
Refine #about sentences
Add #tips page
Generate online-version URLs as permalinks
Merge branch 'let-users-choose-offline-mode'