Autogenerate GitHub url for docs, as in bugs