badkins
2019-12-19 15:54:35

@mflatt might as well change “middle a line” to “middle of a line” also


mflatt
2019-12-19 16:03:12

Done!