what is the name of the html layout engine that operamini uses?
(AND computer.html_layout_engine (JOIN computer.html_layout_engine.browsers m.08p9zk))