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

consistent names in a few more places

Created by  Kartik K. Agaram  on December 23, 2022
KYNGDE2CKNOKUC2XMAS5MEU6YT2C3IW5SIZLOJE64G3ERT7BSWFAC
Change contents