@shtrom See, I knew that Firefox could translate websites, but I didn't realise it also had a front-end for translating whatever I wanted!