root/public: links for github-search