Added instructions and an example for changing the default user-agent,
as in: https://meta.wikimedia.org/wiki/User-Agent_policy .