Interesting! I stopped using Jetbrains IDEs by that time, which is why I didn’t mention it.