root/pypi: links for dining-philosophers