JSDoc comments in `lib.d.ts` shouldn't use bare opening HTML tags

[dabalyan]

TypeScript Version: 3.7.x-dev.201xxxxx

Search Terms: html tags, string typings html tags, doc comments html tags

Code See the open HTML tag <big>

/** Returns a <big> HTML element */
big(): string;

Expected behavior: No open-ended HTML tags in doc-comments

Actual behavior: open-ended HTML tags in doc-comments

Playground Link:

Related Issues:

[DanielRosenwasser]

Worth reposting the image from your PR here, which gives more context and is also just funny.

[DanielRosenwasser]

Thanks for the PR @dabalyan!