Есть ли расширение для Safari для автоматического переключения агента пользователя для указанных сайтов

Я ищу расширение или плагин, который будет отправлять строку пользовательского агента iPad при просмотре CNN, Facebook, Youtube, Vimeo, чтобы я получал содержимое HTML5 вместо содержимого Flash.

Мне известны возможности ручного изменения агента пользователя через меню разработки, и я ищу что-то, что будет делать это автоматически каждый раз, когда я посещаю определенные веб-сайты.