Mozilla on Tuesday shipped Firefox 20, adding more flexible private browsing and patching 13 vulnerabilities, five rated "critical" by the company's security team. Along with the privacy change, Mozilla also revamped Firefox's download manager and added a crash tool that warns when a plug-in has hung for at least 11 seconds. Users can then shut down the offending plug-in rather than rebooting the browser.