A bug-fix release. Fixes some issues with the accessibility menu, updates SRE, and works around problem with vector arrow in Safari, plus other minor bug fixes.