Martina Ferrari Mon, 03 Jan 2022 15:48:14 -0800
Somehow I had missed this bug report. I will prepare a new upload ASAP.
-- Martina Ferrari (Tina)