Re: [Python-ideas] 80 character line width vs. something wider