Dux: Free, open-source Wayland desktop shell with file manager and theming