Vanilla 1.1.9 is a product of Lussumo. More Information: Documentation, Community Support.
A long time ago I asked this question. I am pretty convinced now that the question does not have an answer that I hoped to find.
Should I delete the question, as it is (probably) impossible to get a satisfactory answer? Or should it just be closed, seeing that there are at least seven people who found the question interesting, and so perchance it ought to be preserved for posterity? For now I've voted to close the question as 'no longer relevant'. If some high-rep user is reading this and decide that it should be closed (as opposed to deleted), it would help if they can also add votes to close it.
(Mostly I want to close/delete it so that it doesn't pollute the front page by having an unanswerable question propping up every now and then by MathOverflow.)
@Jonas: I didn't know that behaviour of MO software. Thanks for point that out. I appreciate the offer to help me close the question, and it will bring closure to my psyche. But since I gather that the votes are unlikely to change, in view of the behaviour you described, I feel less strongly about 'burying' the question now than before.
@Steve: thanks for your input. That's more or less how I feel.
1 to 4 of 4