OpenBot

OpenBot was built jointly. Its history was squashed before release, so the
import is recorded as two commits, one from each of us, split evenly by size.
Neither commit is a claim about who wrote which file.