A Firefox extension for enabling pons.de context search