Yes, that's true. I was referring to the custom of cutting lines at about that length, not where the specific number 80 came from. Though in fact the 80 char convention probably wouldn't have made it past about 1950 it hadn't been a reasonable upper bound for lines of prose.
