-
Commit 0bbc0d5e (from eight years ago) removed the lines that two of these comments referred to. Without those lines, the comments don't make sense any more. Reword and shorten them. Also reword a comment about two sequences that don't work. Signed-off-by: Benno Schulenberg <bensberg@telfort.nl>
5faa8dc0