New commits: commit 8fda6cd6a93f4555707bf19b8e098c1250505bb5 Author: D. Hugh Redelmeier <hugh at mimosa.com> Date: Fri Nov 18 01:58:50 2016 -0500 improve description of Pluto's command-line option table.