On Tuesday, 20 September 2016 at 15:42:58 UTC, eugene wrote: > On Tuesday, 20 September 2016 at 15:36:42 UTC, Chris wrote: >> But is it really worth it? > > this was my question at the beginning of the thread You come across as if you had set your heart on removing semicolons.