Your message dated Mon, 10 Jun 2024 12:44:49 +0100 with message-id <87le3ddnta.fsf@systemreboot.net> and subject line Re: [mumi] Some HTML elements don't respond to preferred color scheme when JS is disabled has caused the debbugs.gnu.org bug report #71443, regarding [mumi] Some HTML elements don't respond to preferred color scheme when JS is disabled to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 71443: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=71443 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems