Add links to the developers’ GitHub profiles
Put Jason Grout’s name in bold
unbold my name in the credits