"aptitude purge splashy" was enough to complete the installation of
desktop-base, thanks.
However this left stuff in /etc/splashy/themes/default, which might
cause problems if I later want to reinstall splashy (which I never
managed to make work, BTW). "rm -rf /etc/splashy" should allow for a
fresh start though...