On Friday, 7 Jul 2023 at 08:41, Eric Abrahamsen wrote: > Bummer. You can always escalate and just open an Emacs bug -- this is a > perfectly normal type of thing to open a bug about.
I'll keep this as my fallback position, once any discussion here has petered out. Thank you. -- Eric S Fraga via gnus (Emacs 30.0.50 2023-07-07) on Debian 12.0