I am using Firefox on a 64-bit installation of Linux Mint. I don't believe Firefox has an official 64-bit version. Can you pinpoint for me specifically which plugin I should be using? I am a bit confused about which of these options is appropriate for my OS. Thank you.