Useful, thank you. It appears that this is the setting the Ubuntu / Gnome's "Power -> Power mode" setting changes as well.