miner gets titles instead of dates, as dates

Dates are omitted on site if there are no changes. Titles are
nonstandard, so it may be necessary to strip unwanted characters later.