Encyclopedia of Varieties, Schemes, Stacks, and Singularities Wiki/Extensions