It would be nice to have a 'dev mode' on `https://writewithharper.com/editor` that showed the exact linter's name

Currently, the Harper editor page only shows the LintKind of each error, which is how it should be for normal users:

But for contributors, it's very useful to also see the name of the linter, especially when a false positive or other edge case is spotted. Same for regular users who want to file an issue, we could ask in the issue template for them to include that. In fact the Chrome extension does show it:

Should this then be a 'dev mode' or included always as in the Chrome extension? Maybe it should also be hidden behind a dev mode in the Chrome extension? The editor already has a ⋮ vertical ellipsis popup menu button, which would be the perfect place to put the dev mode toggle.

... In fact, could the editor also have a 'Report' button?