Le 05/02/2021 à 00:35, Brian G a écrit : > But it shows up in the language definition wiki? > > -- > Thanks > Brian > I didn't notice. I didn't write that page. -- Benoît Minisini