fhr_package_manager/cor-fhr: links for python-miningbot