Makes changes accordingly to bookmarklet.html and other things to make this bookmarklet WAF specific