For accessibility reasons, it would be good to add other HTML tags to the options for certain elements:
Especially the div
element, as that is obviously the most flexible, but there are other places where it could be useful to set other HTML tags.