Overview

Motivation, goals, non-goals and system design.
Last modified April 1, 2020: website: delete in-progress note (bb1684f)