util.js: Yet more fixes for encoding/decoding URIs. build_url and parse_url had some instances of multiple encoding/decoding. Now confident they will correctly encode/decode just once. browser.js: Combined settitle and presentpath (since they have very related actions, the one function just does both).