root/pypi: links for krabby-hal-tools