User-agent: *
Allow: /

# Public pages end early on purpose.
# Service records still exist:
Disallow: /service/maintenance.html
Disallow: /rooms/subbasement.html
Disallow: /basement/null.html
Disallow: /.well-known/keys.txt

Sitemap: /sitemap.xml