Hello. I was connected to database via `psql` then I rebooted DB. I was not able to disconnect from terminal after that. Only whole window close helped.
It would be nice if `psql` allows to disconnect from console if a connection to database was lost.
Seems like this would be better reported as an actual bug. Not as comments related to the effectiveness of the documentation.