BUGS: GitHub issues should be used from now on