See https://gitlab.gnome.org/verdre/gnome-shell-mobile/.
