nuwa/stage: links for completeness-score-idris