Hi Dscho, On Thu, Jan 3, 2019 at 5:27 AM Johannes Schindelin <Johannes.Schindelin@xxxxxx> wrote: > > Hi Elijah, > ... > > I was going to re-ping in early January. Anyway, it may be worth at > > least updating your note to "reroll exists". > > It is early January! ;-) Indeed...ping incoming. :-) > > Ciao, > Dscho