various updates to opera emulator article