A simple Firefox extension for adding or overriding HTTP headers