Re: What would be gained by undeletion? Recently we have mentioned
this question on meta. (Will Jagy was looking for it, you posted an answer with a link.) I'd like to think that my CW-answer there, which is simply a list of references containing solution to that problem, might be useful for some users. (Despite the fact that other posts contain a complete solution.)