Am Donnerstag, dem 02.02.2023 um 12:40 +0000 schrieb Richard Eisenberg: > Vlad's amendment makes the proposal what I had intended when I wrote > #448; I strongly recommend acceptance. I concur! -- Joachim Breitner mail at joachim-breitner.de http://www.joachim-breitner.de/