Less Karaoke

There are only a few people here that do Karaoke and it doesn't really
warrant a mention right at the top here in amongst how we program.

We *should* have a section about the culture of the department that
includes things like:

* Karaoke and Guardian Angels
* Running
* The music group(s)
* Lunchtime programming clubs
* Board Game Club
* other things

This stuff is important too, I wasn't sure the best way to present it
though so I've not done that in this PR.
You probably meant to link to Github here.