ご報告有難うございます。

ああ、これは身に覚えがあります。おそらく4.20特有の現象です。次のバージョンまでに直したいと思います。