tree 876958f301db4adc4ea52f86f0d9a28320d52cf9
parent 1dcc9e291520d968bba7d26d060df91a1f200da1
author Dave Brondsema <dave@brondsema.net> 1598040498 -0400
committer Dave Brondsema <dave@brondsema.net> 1598040498 -0400

[#8374] document these commands, related minor doc cleanup