<line-names> allows an empty set since this commit but there is no meaningfull commit message. I would like to know why [] should be allowed, noting that there is a consensus to remove it when serializing repeat(). Maybe it could be explained in a note.