Update: those two new file extensions are now enabled. Here’s the new help page.
Agreed, we should bake this into the API.