What are the extension supported by HTML?