On Friday, 9 December 2022 at 16:06:41 UTC, Victor Porton wrote: > I did as you recommend. The bug seems to remain. Or should I > wait more? it is up now.