The famous jargon file (EPWING V1 format)