devel/pycharm-pro: update to 2023.2.4
Release notes: https://blog.jetbrains.com/pycharm/2023/11/2023-2-4/