You can say that about a lot of things though. The fact remains that he was there, and they did use web.py to get to the acquisition.
I'm sorry if he was some kind of hero of yours that you have to emphasis some trivial contribution he made in the grand scheme of Reddit's success.