Thanks for sharing - loads of great ideas there for the GitHub team.