root/public: links for mimi-dev-tools