Re: #5428: Retire and remove aldabra-theme-gnome