On Wed, 4 Aug 2021 at 00:02, David Rowley <dgrowleyml(at)gmail(dot)com> wrote:> Yeah, I think it can be safely removed. I can do so unless someone> thinks otherwise.
Pushed.
David