User-agent: * Disallow: /~jon/soc.bi/bios/ Disallow: /%7Ejon/soc.bi/bios/