Can't keep a good guy down. Probably high time to leave github behind, as well, all things considered.