Those users won't use Devuan or Gnome but Android/iOS.
They may not personally choose Devuan or GNOME but they might end up using them because an administrator chose them.
alt Hacker News
They may not personally choose Devuan or GNOME but they might end up using them because an administrator chose them.