root/public: links for completeness-score-idris