Type in Javadoc.  The following were closed by earlier work on this
branch, but not identified as closed by commit comments:

Closes #216, #214, #212, #163, #146