The Software & Updates GUI tool does not seem to reflect in /etc/apt/sources.list the new mirror server selected.
I tried both with my user, and with root.
For instance, choosing us.example.com and doing reload (or # apt update),
# grep '^deb' /etc/apt/sources.listdeb http://http.oldexampleiwanttochange.com/Linux/ubuntu/ jammy main restricted... <all like that> ...It used to work though. But I can't see what causes this problem...
