dev-python/crumbs-9999: fix github URI.