Make additional tweaks to the tutorial. For example:
blank lines are also continuations
Explain more about "idi" and "dummylink". They
provide a way to note that configuration matters, and that
you have to provide some information to mmj2 to complete
a proof (in most cases).
Note the convention around parentheses, and provide the
specific URL for the conventions. That way people can
easily learn more.
Make additional tweaks to the tutorial. For example:
Signed-off-by: David A. Wheeler dwheeler@dwheeler.com