ajaxorg/ace — pull request #2177 by richo (2014-10-06 02:26:45+00:00)
Title: 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.