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