root/public: links for diff-highlight-tokens