On Thu, May 29, 2025 at 3:41 PM Bastien Guerry <b...@gnu.org> wrote: > > Also, it seems to me the Zenburn alternate css is not usable: shall we > simply remove it? And perhaps remove all alternate css stylesheets if > they are not maintained. >
Yes, I think. I will do it if there are no objections else has done it for us already by the time I next look (at least a few hours from now).
