root/pypi: links for install-proper-polars