Fix @richo's username

Evidently I lurked one of my scripts into the repo.

I changed my username a while ago, on the offchance anyone pokes it'd be good if it pointed to the right place.