Issue #72: make it possible to change the user agent.