Correctly compute Github users' avatars

Currently, avatars are broken – probably because Github is transitioning away from gravatar. This should fix it.