I have looked on the internet and have come to the conclusion that Ubuntu-Mate 22.04 does not have a GUI element for easily setting the DNS server(s). However, some other desktop-environments do.
Furthermore, my investigations suggest that on Ubuntu-Mate 22.04 systemd looks after DNS server settings, and that changing any systemd DNS server settings via the terminal is a daunting task with a serious risk of things going wrong.
Have I overlooked something?
Is there an easy way to change DNS server settings on Ubuntu-Mate 22.04?