On Fri May 2, 2025 at 1:21 PM BST, Chris Hofstaedtler wrote:
Something needs to be done about #1098983.
I'll reply there.
Given you are a user, maybe you can chime in there, if renaming one or both programs would work for you.
Thanks, -- 👱🏻 Jonathan Dowland ✎ [email protected] 🔗 https://jmtd.net
