\allowbreak{} in \texttt sections

[asmeurer]

I'm opening this so I don't forget it. If any of the texttt text causes overfull \hbox issues, you can add \allowbreak{} to it where it should break. I would suggest breaking after a dot, or after an operator. This won't work with \verb.

We shouldn't worry about this until the text is final, since changing the text could change what lines are too long.