Just when I happened to be on Github, good timing