editorial improvements to !2553

Editorial improvements to !2553 (merged):

  • remove empty lines (once switches are accepted)
  • add missing instrumentation
  • fix typos

Closes #2206 (closed)

Merge request reports

Loading