Some fun typing-related issues, some old PRs and old issues addressed. A bunch of work on the Github usage stats blog post (not done yet, sorry!).