- Fix HTML permissions tab: Enable allow/block/session buttons after a text paste with the mouse. - Fix regression: The classic menu item to block a domain wasn't working. - Better sort permissions (use String.prototype.localeCompare() for the URI scheme: http / https).