A patch to Wordpress that mitigates the BREACH vulnerability