newline before the first context" and "shuffle 0-width spaces around so
they are distributed more evenly"

This reverts commits e3c56f9e and
7fc1124c, which are workarounds for
Coq bug https://coq.inria.fr/bugs/show_bug.cgi?id=4675

Also, this commit fixes the levels to avoid parantheses.