About the Miscellaneous category

Topics that don’t fit elsewhere: questions about type theory, links to discuss, comments on Discourse, the Coq community…