Are there any good reasons for showing line numbers in a text editor? Mostly seems like a waste of pixels to me.