How to delete existing servers on PhpStorm? It seems that it is not even possible to delete the wrong ones.
