facilitate customization of user agent in request headers; add debugging statement for which export format is being requested