3
What's new in IntelliJ IDEA 2023.2 (www.jetbrains.com)