- /* Replace tabs by spaces in the given line since tabs will give rather
- * arbitrary results when used in the output later, and if we do it here,
- * we won't need another copy.
+ /* Copy the line, replacing tabs by spaces in the given line since tabs
+ * will give rather arbitrary results when used in the output later, and
+ * if we do it here, we won't need another copy later.