3 ms·I can see this being useful for custom linters.by pretty_colors 3y agoI can see this being useful for custom linters.