It's been broken for a long time all over the place but sure, I'll change it back to 80 and then fix the occurrences that are over. (though IMO these days 80 is a bit narrow, even on my 11" laptop I see 120+ without an issue with a low resolution)