October browser market share: Google Chrome still dominates