UI refinements.

Performance improvements to gain back performance loss for introducing app exceptions. Now app exceptions are almost cost-free with basically no overheads.

Download