root/public: links for lean-contracts