util.js: Removed urlencoding support from "encoded_app_path" (now called
        "app_path"). This was causing double-encoding, as all URLs are already
        encoded by dom_make_link_elem.
    Now encoding is done exactly once, URLs are correct.