On Jul 15, 2020, at 9:02 AM, Toke Høiland-Jørgensen <toke@toke.dk> wrote:Is there any "there" here?I'm sorry, what? :)
Is there any "there" here?