lines
length
included
nothing
else
seen
—defined before the beginning of history (October 2022)
[history]
submit