Version 5.0 (run software update) is now out. Highlights include greater HTML5 support; noticeably faster performance; Bing, which I still think looks like shit; Safari Reader, which I’ll probably forget to use, and EXTENSIONS!