Add @vladikoff’s article on how to run Opera Mini on Chrome OS