Ths package is adaped to display a custom greeting screen for Slint and
to include a wrapper script to set XDG_CURRENT_DESKTOP in such a way that
there be no duplicate or missing entries in the menu, as some menu
builders behave not the way we expect if XDG_CURRENT_DESKTOP is unset or
set to a value they do not know.

Didier Spaier <didier~at~slint~dot~fr>