On Wed, Oct 4, 2023 at 10:35 AM Alvaro Herrera <alvhe...@alvh.no-ip.org> wrote: > So I'm not sure that specifying the class="parameter" bit does anything in > reality, or that changing lines to add or remove it will have any effect.
Interesting. I wondered whether that might be the case. The original issue I reported does make a real difference, though. :-) -- Robert Haas EDB: http://www.enterprisedb.com