v1.17.0 - Uniform & measurable spaces, extremal monos/epis

Database 🔋

• Provide details for extensivity proofs by @ScriptRaccoon in #313
• The category of measurable spaces is regular, and not coaccessible by @ScriptRaccoon in #314
• The category of measurable spaces is co-Malcev by @ScriptRaccoon in #315
• Add the category of uniform spaces by @ScriptRaccoon in #312
• Add extremal monomorphisms and extremal epimorphisms by @ScriptRaccoon in #320

Features 🧪

• Add button to expand popups to full height by @ScriptRaccoon in #316
• Add proof references by @ScriptRaccoon in #319

Full Changelog ⚙️

v1.16.0...v1.17.0