More actor bolding.
Show comment count in commit list.
Switch to new Github bindings with gzip support.

Reduces request data usage (dramatically for some requests: e.g. the
request for closed pull requests in this repo shrinks from 478k to 40k)