Vanilla 1.1.9 is a product of Lussumo. More Information: Documentation, Community Support.
That's correct. There's nothing we can do about it, but there is a workaround: use Google (see tip 16 for how to restrict your search to MO). In this case, it appears that the phrase "Banach Lebesgue" appears only on this meta thread.
1 to 2 of 2