… but reference the comments extracted from the original source here, so we report line numbers correctly.