[PATCH 0/9] Fix broken HTML in API docs