The instructions is not outdated. Because if you want to add a domain, you need to click on “+ Add Domain” not “Domain Settings”.
Unfortunately due to how DNS works there’s no easy way to “change” a domain. So if you expect some “change this domain” option in the domain settings then of course it won’t work.