Fork of lines.love for live programming; useful starting point for further forks

avoid redundant writes on exit

Created by  Kartik K. Agaram  on June 29, 2022
AM42E4Y6RLS7QPWBMESL6H5RPFKG5LQYM6EFNB5UYSRSUASKLISQC
Change contents