docs: replace pgadmin3 with pgadmin4-qt
    
    `pgadmin3` is no longer in Fedora 36 repos. `pgadmin4-qt` is some Fedora-specific
    hack to run pgadmin web interface in a qt shell, but it seems to work ok.