On Sun, Apr 11, 2021 at 12:00 AM Gregory Heytings <gregory@heytings.org>
wrote:

> Uff, but I shouldn't have.  I just realized that Gregory is not on the
> > copyright file!
> >
>
> I should be (or I will be soon), I did my paperwork a week ago or so.


Hmm, then maybe it's OK.  Let's see what Eli says.

João