On Sun, Jan 19, 2020 at 02:16:58AM +0000, Luke Kenneth Casson Leighton wrote: > > remember the quote, by einstein, "it should be as simple as needed and no > simpler"? Yes, it's one of my favorites. -- hendrik