Das ist neu in WebStorm 2023.2