i could be ok with 100, though i understand the style guideline for 80.
what editor do you use, by the way?
(i’ll generally defer to @sam on these matters)