pfenwick went and changed his github username to pjf

So apparently github lets you have your preferred username if you just ask nicely.

This fixes a link since I've now moved from `pfenwick` to `pjf` on github.