install instructions for Opera; fixes #23