doc: Use empty-element <hr/> tag.