Slight rework of User Agent detection, with additional support for Opera Mini