* Minor optimization of exercise display function.
* Fix LaTeX escaping.
* Fix LaTeX escaping.
* Fix too premature escaping of HTML entities.