On Fri, Aug 28, 2020 at 10:35:15AM +0100, Luke Kenneth Casson Leighton wrote: > btw apologies, cole, i am running very late nights, it is having > detrimental effects on my health which in turn affects my communication and > judgement. Sometimes taking time off is the best way to get things done. -- hendrik