From the Internet's Jargon File, a lexicon of funny and informative jargon.