On Wed, Oct 4, 2023 at 11:27 AM Nathan Bossart <nathandboss...@gmail.com> wrote: > Here's a patch. I didn't address the class="parameter" stuff at all. I > figured it would be best to handle that separately.
I guess I'll vote for including class=parameter in this addition for now, as that appears to be the majority position in the documentation today. If we get a consensus to change something, so be it. But also, if you don't want to do that, so be it. -- Robert Haas EDB: http://www.enterprisedb.com
