On Sun, 7 Apr 2024 15:36:54 +0200 José Luis González <bugs.jlg at gmail.com> wrote: > On another subject, if there's been a reply from the developers to my > last message it hasn't reached me yet. Sorry, I meant last *three* messages.