Vanilla 1.1.9 is a product of Lussumo. More Information: Documentation, Community Support.
On the other hand: "Of interest to mathematicians" is far too broad a criterion. If other types of discussions swamped the research-level questions and answers, then this would no longer be the MO that I joined.
1 to 2 of 2