demo.html: Final optimizations.