* Optimise --gettime for git, so it's appropriatly screamingly
fast. (This could be done for most other backends too.)
* However, --gettime for git no longer follows renames. That would
- be slow, and where a renamed wiki page is the same page is really
+ be slow, and whether a renamed wiki page is the same page is really
an iffy thing.
* Use above to fix up timestamps on docwiki, as well as ensure that
timestamps on basewiki files shipped in the deb are sane.