OtherOpera Extensions — GettingFirefox user 13493591Sample extension for the “Making your first extension” article