Checkpoint v31.

Signed-off-by: Gary V. Vaughan <gary@gnu.org>