0.72.11

Bug fixes and stability improvements.

• Further improvements to support older versions of Mobile Safari.
• Various fixes for minor bugs automatically reported in production.