Laurenz b2b8d37ce0 Rename run to line and add some explanatory comments ✏
The name run was a relict of the time where a line consisted of a set of runs with same alignment. While these runs still exist conceptually, they are all stored flatly together in what was now renamed from `run`  to `line`.
2021-03-09 17:25:25 +01:00
..
2021-01-13 23:19:44 +01:00
2021-01-04 21:29:15 +01:00
2021-02-04 21:30:18 +01:00
2021-02-09 19:46:57 +01:00
2021-01-20 21:33:13 +01:00
2021-01-15 16:53:02 +01:00