Vanilla 1.1.9 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 6 of 6
I have an idea of who it might be, but I haven't asked. Porton happens to be part of a few other math groups, some of which are a bit less professional than mathoverflow.