Author: nLab edit announcer Format: MarkdownItexRemoved a dead link and added the right reference from the stacks project.
Anonymous
<a href="https://ncatlab.org/nlab/revision/diff/%C3%A9tale+cover/8">diff</a>, <a href="https://ncatlab.org/nlab/revision/%C3%A9tale+cover/8">v8</a>, <a href="https://ncatlab.org/nlab/show/%C3%A9tale+cover">current</a>
Removed a dead link and added the right reference from the stacks project.