root/public: links for runtimeverification-pyk