On Monday, 23 March 2020 at 13:15:08 UTC, WebFreak001 wrote: > more fully featured comments to disable > pros: > - very flexible > - could reuse syntax from well-known linting tools Definitely this.