Abbreviations extension for Opera 12 browser. Looks for and explains defined abbreviations in the displayed webpage.