Re: Custom themes

[Richard M. Stallman]

Thanks for finding the bugs in custom themes.
Would you like to fix these bugs?  They don't sound terribly
difficult to fix, and then it will be a useful feature.

We've already installed this feature, and it ought to be useful once
it works.  We might as well fix the bugs now--there's no benefit
in waiting.