root/dev-pypi: links for dereck-jos