Scanning HTML at Gigabytes per Second on Arm Processors