Allow <ol role=option>. W3C bug 24426. Thanks Steve.