Note to folks using PHPStorm or other JetBrains IDEs.
If you updated recently and got a super-laggy editor, this has now been fixed in the latest update (for PHPStorm this is 2024.1.4)
Bug details here: https://youtrack.jetbrains.com/issue/IJPL-149640