Opera notice

Opera extensions are a pain, even more now