Szépen összefoglaltad. Az extensionok nem szoktak eltörni frissítésnél ? Én ezért untam meg a Gnome -t. Az ott pgadmin3 vagy a pgadmin4 -nek is ilyen az ikonja? A 3-as csomagot már nem találok.