chiark / gitweb /
man: time - exchange some 'colons' with 'commas'