On Thu, 11 Jan 2024, Jason Merrill wrote: > Now in patch form! It appears quite clear to me.
(At first I thought we need to escape the '&' in "[&] (tree arg)" as "&", but checking with validator.w3.org apparently not so in this specific context.) Gerald
