A design spec for handling captive portals in Firefox