catlog design (in Emacs -*- org -*- mode)

This document describes the design of catlog, an implementation of a
Certificate Transparency (RFC6962) log.