On Mon Jan 5, 2026 at 9:38 AM CET, Peter Eisentraut wrote:> Perhaps we should prefer to use the less ambiguous name "cxx" > throughout.
Done