minor: new manual text on time looks great (and this commit is tiny)
Merge branch 'dev' of github.com:pism/pism into dev