Hi, On Fri, 18 Dec 2020 at 17:46, Benjamin Slade <sl...@jnanam.net> wrote: > Yes, I think this can be closed, I haven't experienced it > recently.
Thank you for the report and your feedback. So, closing! Feel free to reopen if you have again the same issue. All the best, simon
