Implement 'forget' dictionary, gracefully handle bookmarks and history that refer to unknown dictionary