Online Security (version 9.0.2013.75) appears to be installed in Opera 12 because Extension Manager shows an uninstall option. However, there is no tangible evidence of the actual operation of Online Security such as Web Reputation indicators or configuration options. Is Opera 12 no longer supported?