(3). Guido prefers Github ~deal with it~

Seriously, I like the idea. It will give visibility for who contribute and might bring some new contributors.