GitLab

Backport of R. David Murray’s 3.2 patch.  The code is ugly, with print
statements split across lines, but the output is readable.