A Firefox Addon to notify the user that port 443 of the site the user is browsing is open