GPD PocketのOS更新

ずっとUbuntu 17.04使ってましたが、次が出たので試してみました。
Ubuntu MATE for the GPD Pocket and GPD Pocket 2
えっと、特に問題もなく、インストール出来ました。
MATEは軽くていいのですが、私はgnomeに慣れているので、結局は
> sudo apt install gnome
普通のgnome環境にしました。