dev/public: links for python-html-compiler