User-Agent: *
Allow: /
Disallow: /d/
Disallow: /@peter-hartmann/json-api-explorer?url=*
Sitemap: https://api.observablehq.com/documents/public.rss