On Tue Jul 16, 2024 at 10:07 AM BST, Peter B wrote: > The GR was withdrawn. Thank you Peter (and Andrey). A careful reading of the GR page agrees. Best wishes, -- 👱🏻 Jonathan Dowland ✎ jmtd@debian.org 🔗 https://jmtd.net