Verbesserter Linter! Bitte gib uns über die Smileys Feedback zu den Linter-Vorschlägen. Wenn du möchtest, kannst du ihn aggressiver einstellen, indem du zum Tab „More“ gehst und dann unten auf „Advanced linter settings“ klickst. Lass uns auf Discord wissen, was du davon hältst.