Dotty is a punctuation syntax checker invoked from the command-line.