User-agent: *
Disallow: /httpsdocs/
Disallow: /https://www.jonathandagnall.com:8443/