https://medium.com/geekculture/7-best-jetbrains-ide-plugins-to-make-your-life-easier-in-2023-e69de80b74b8
