A browser extension to delete some URLs in the history