Opera Mini snags a minor update for Windows Phone