root/pypi: links for leeboot2024