On 20.05.2019 21.07, Matthew Flatt wrote:
> Looks like I manage the DNS mapping, so I've added api.schemers.org,
> docs.schemers.org, api.scheme.org, and docs.scheme.org.

Thank you very much, Matthew! This is great news for our project. We
strive to have a usable service up in the space of a few weeks (not
serving all that much data initially but with the framework in place to
add more incrementally).