Release Notes: A severe bug where the proxy settings didn't always get set was fixed. A bug where HTTPS domain whitelists could not be turned off was fixed. A WebKit bug where the back and forward history go to the same spot was worked around. A bug where certificate retrieval code didn't always exhaust all possible routes to the target server was fixed. A command and search history feature was added. A save command and search history to disk feature was added. A bug where commands would not always expand an alias was fixed.