html_decompiler: implement a lot more tags