How can I reset the HDMI configuration?

The pi-top [4] mini screen’s system preferences menu has an HDMI reset option. This will set the resolution of all displays to the highest common resolution, and mirror them.