I regularly update the repo on GitLab; I'll see about making sure the GitHub copy gets updated alongside it.