Update generated markup by the tooltip plugin in docs; fixes #13796