Has anyone used this extension, or something like it, under Linux: https://addons.mozilla.org/en-US/firefox/addon/39 Pro-Cons??? Jay