Hello @momijizukamori,

I feel like the <center> addition is fine even though it's deprecated since a very long time ; it's up to people to avoid using it. Also, adding the file with tags to the repository is a great addition for future updates.

On the hand, I prefer not to remove <del> and <ins>. The Git history doesn't give the rationale behind their presence but it may break existing documents.

Could you bring them back please ?

Thanks for your contribution !

Yeah, fair enough! ins and del are both in the category of ones that can either be block or inline depending on their content. Went ahead and removed them and then regenerated the C code.

Great, thank you very much ! 🎉 :-)