root/public: links for thonny-micropython