>>>>> On Fri, 24 Jan 2020 14:50:10 +0100, Robert Pluim <rpluim@gmail.com> said:
    Robert> Yes, I worked that out. A simple crash, for once :-)