manifold/web/public/robots.txt

# *
User-agent: *
Allow: /

# Host
Host: https://manifold.markets

# Sitemaps
Sitemap: https://manifold.markets/server-sitemap.xml
Sitemap: https://manifold.markets/sitemap.xml
Generate sitemap server-side 2022-03-24 16:52:13 +00:00			`# *`
			`User-agent: *`
			`Allow: /`

			`# Host`
			`Host: https://manifold.markets`

			`# Sitemaps`
			`Sitemap: https://manifold.markets/server-sitemap.xml`
sitemap: remove non-public pages; sort by 24hr volume; make market page priority depend on volume 2022-04-27 17:40:02 +00:00			`Sitemap: https://manifold.markets/sitemap.xml`