It took but a few seconds, especially as my cursor was there anyway copying the line: I agree, I'd not have otherwise bothered.