Perhaps browsers should have p { max-width: 72ex; } by default. And a user setting for this, just like default font size.