A brief reminder for Firefox users: version 25 is out.As usual, there are some new and tweaked features, plus a fair number of security fixes.Paul Ducklin takes a quick look...