Hi Aurelien, On Wed, 7 Oct 2020, Aurelien Jarno wrote:
I guess there is an obvious mistake, but I can't spot it. Any hint?
yes, probably I should increase the font size of my terminal. Please reupload the package. Thorsten