On 20 Oct 2023 11:11, Tom Tromey wrote:
> >>>>> "Mike" == Mike Frysinger <vapier@gentoo.org> writes:
> 
> Mike> should i take silence on the matter of CSS to mean that no one really
> Mike> cares that much about how these are managed, and i should go ahead and
> Mike> merge these improvements ?
> 
> I don't really know anything about how the web pages are handled.
> 
> Maybe Joel does?  CCing him.

i've pushed it out now.  if people feel strongly about this, please let
me know.
-mike