a wonderously simple interface for pretty good privacy in the browser.