Turn the ignored-lines section into HTML

Turn the <pre> table into a <table> table.