[theme] add '(last updated on xxx)' in article timestamps when available

[config] activate the filetime_from_hg plugin

(0) -10 -2 +2 +30 +100 tip

mercurial