* tweak post date formating
* linkify "PR: ports/######"