<?xml version="1.0" encoding="UTF-8"?>
<!-- Replace REPLACE_DOMAIN with the live domain. deploy/scripts/deploy.sh does not do this
     for you, because the domain is a deliberate decision rather than a build artefact. -->
<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
  <url>
    <loc>https://REPLACE_DOMAIN/</loc>
    <changefreq>weekly</changefreq>
    <priority>1.0</priority>
  </url>
  <url>
    <loc>https://REPLACE_DOMAIN/docs.html</loc>
    <changefreq>weekly</changefreq>
    <priority>0.7</priority>
  </url>
</urlset>
