Comment by khm

It's Debian running GNOME. You can install whatever UI you want from the repos, but the developers have written convenience tools in the form of GNOME extensions, which you can see in the top bar in the photos. It works fine, in my experience, modulo some finicky bits involving the onscreen keyboard. I have the original developer model, and I don't know what differences exist in the community edition.