This release chooses the TCP/IP ports it will use randomly from a specified range instead of using a single port, so that multiple users can run it simultaneously. The search results UI was improved, highlighting of results is now much faster, and toolbar buttons for going to the next/previous search result in the page were added.
The info and man pages provider have been
fixed to work better on Gentoo Linux. Also,
their page titles have been shortened so that
search results are easier to navigate.