TIL that the word “line” originated from the use of linen cords by builders to make a straight line