Actually, it was decided that since Opera is basically the same as Chrome you shouldn't need to change your user agent. However...