root/public: links for devtool-core