Thank you to the site maintainer for changing the font of the user names.
I feel some responsibility for this because of my choice of user name. I didn’t mind being accused of being AI because it was irrelevant, but it did add so much noise recently that the original question became secondary. Cheers, Al
2 Likes