Available files in `docs/`

Filename	Size
`.DS_Store`	6.0KiB
`Grothendieck -- Pursuing stacks.djvu`	18.8MiB
`Grothendieck -- Pursuing stacks.pdf`	252.0MiB

Available files in docs/