On Thu, May 28, 2020 at 12:43 AM <context@vivaldi.net> wrote:

> Off-topic:
your email are always marked as spam by my gmail . Are you sure that your
address setup is ok  ?

-- 
luigi