On Monday, 21 May 2018 at 16:35:57 UTC, rikki cattermole wrote: > Please stop replying Dave, it isn't worth it. > > Do something more productive with your time :) I know, but... it helps me relax. ;-)