(someone really needs to make a new jargon file, if not out of practicality then for archival reasons)