On Mon, May 20, 2019 at 11:07 AM Matthew Flatt <xxxxxx@cs.utah.edu> 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!