I didn’t updated recently. I had some problems with phpmyadmin after the last upgrade (to Ubuntu 20.04) but I am not sure it is relevant now.
Can you help me where can I check the commented out repository listing? Or should I reinstall?
Thank you for your help!