[docs] Remove stray HTML tag.

Fixes PR20167