They may not personally choose Devuan or GNOME but they might end up using them because an administrator chose them.