Making another doc file more? compatible.
Making another doc file more? compatible.

NOKEYCHECK=True
PiperOrigin-RevId: 236832376
GitOrigin-RevId: 0548eea608460e635a820293a6d2100944addb12

google/wycheproof,google/wycheproof,google/wycheproof,google/wycheproof,google/wycheproof