bug#47047: 28.0.50; 'help-key-binding' face's background sub-optimal

[Stefan Kangas]

Lars Ingebrigtsen <larsi@gnus.org> writes:

> Do we have some mechanism to deprecate a theme?  If it's just deleted,
> will that lead to breakage if a user has selected the theme?

No idea, but it's a very good point.  We have more than one theme that
is buggy, has low coverage and/or is not maintained, so maybe this is
something we should think about.

Perhaps it would be fine with something ad-hoc like dropping an lwarn at
the top level of the file, if we would want to do something like this.