> AFAIK that's not actually theirs but: https://github.com/defunkt/jquery-pjax

Check out https://api.github.com/users/defunkt:

> "id": 2

pjax was written by a GitHub founder for use in github.com.