[heroes] slimhat.opensuse.org for remote management of widehat.opensuse.org