On Thu, Apr 27, 2023 at 06:16:27PM -0400, Richard Kimberly Heck wrote: > On 4/27/23 17:55, John White wrote: > Yes, I agree that it's good list etiquette to delete bits one doesn't need. An it's actually part of our official list Netiquette ( https://www.lyx.org/MailingLists#toc7 ). Pavel