I want to stop postgres server 13 since I installed postgres 15. I look for a stop server button in pgadmin but it looks like that this kind of a button does not exist.
For such a simple functionality, I may have missed something. What do I think wrong? Why isn't there a stop server button?