root/dev-pypi: links for orb-kernel