This issue is fixed and can be closed now.

--

Sent with Tuta; enjoy secure & ad-free emails:

https://tuta.com