I've also been using this "different GitHub Dark"; I'm not sure which one i prefer - the grey background instead of black is also pleasant for the eye... i'll have to try them both for a while.