root/public: links for nomanini-documentation-tools