Hear, hear! Well done, GitHub! This will be an invaluable resource for the software development community for years to come. Congrats on 1.0.