JorgenSchaefer cleaned up the page on 2014-11-06, tossing out most of it. That's good in general, but he tossed some stuff that might still be useful . . .