x11sh Fri, 04 Dec 2020 07:45:27 -0800
For the record, this is fixed in the latest Plan, version 1.12 (it was not available when I first reported this bug).
