Various small Burp extensions