Re: #4005: Block old GDM themes