General improvements on the github end.

Yes, the decision was whether to make an extra query per user name or not, the benefit of making those being quite minor (to get the user name, BTW, why does github not provide them in the member listing?), so I choose not to make those queries.