1.5.3

Userstyles.org integration tweaks (no more extra events on page)
Engine optimizations
Disqus beta integration
Styles manager update for global styles support
Typos and Titles update