Working space for HTTPS Everywhere-related Firefox patches