Keyboard Maestro macros to change Safari's user agent string.