-
@ Emeritus Prof Christopher May
2025-05-07 07:18:41nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqwr8lx0dsfzlvg7g0u8pvvw3cy0kqshgutaknzgsr36866a33zfwsfyytfs Thanks, this now ranks as my most frequent typo, and still missing it (early in the morning, being my defence)