Vanilla 1.1.9 is a product of Lussumo. More Information: Documentation, Community Support.
It is not clear to me that there is a latent problem here, as you seem to suggest. Given that you profess to be concerned about unfortunate impressions caused by the name "mathematics overflow", to suggest "house for the feeble-minded" seems either inconsistent, or overly tickled by your own wit and wisdom, and in either case sounds disingenuous.
Yeah, I agree with @Yemon: this seems like a waste of time. It's long long past the time when we could plausibly think of alternative names, and even so, these suggestions are not useful ones.
All of the other names were really bad even back then. For some reason, people always want to name things after really esoteric technical points in set theory (cf. the naming discussion for math.se as well)...
1 to 4 of 4