docs: mention out-of-date editor type information FAQ#9428

Merged

JoshuaKGoldberg merged 2 commits intotypescript-eslint:mainfrom

JoshuaKGoldberg:typed-linting-editor-faq

Jun 29, 2024

Commits on Jun 25, 2024

docs: mention out-of-date editor type information FAQ
JoshuaKGoldberg
committed

Commits on Jun 29, 2024

Update docs/troubleshooting/typed-linting/index.mdx
JoshuaKGoldberg
authored