Le 23/07/2020 à 06:51, Richard Kimberly Heck a écrit : > I agree, though we'll have to see what other people think. Possibly a > preference? Please, no preference. I think it is a LyX idiosyncrasy from day 1. Feel free to change it. We'll see whether people complain :) JMarc