Use HTML table formatting instead of Markdown

GitHub does not like the Markdown format for tables, but it does like HTML.