Readded some more HTML docs!

tools/dom/scripts/generator.py

Index: tools/dom/scripts/generator.py
diff --git a/tools/dom/scripts/generator.py b/tools/dom/scripts/generator.py
index 516e768572a66e9cff8c4f33f78020ab08761b42..4c7115c14831c532f6c8ebb113c29427b52de5b9 100644
--- a/tools/dom/scripts/generator.py
+++ b/tools/dom/scripts/generator.py
@@ -842,8 +842,10 @@ def GetComments(interface_name, member_name=None, library_name=None):
 def GetAnnotationsAndComments(interface_name, member_name=None,
                               library_name=None):
   annotations = GetComments(interface_name, member_name, library_name)
-  annotations.extend(FindCommonAnnotations(interface_name, member_name,
-                                           library_name))
+  annotations = annotations + (FindCommonAnnotations(interface_name,
+                                                     member_name,
+                                                     library_name))
+
   return annotations
 
 def FindCommonAnnotations(interface_name, member_name=None, library_name=None):
@@ -891,6 +893,7 @@ def AnyConversionAnnotations(idl_type, interface_name, member_name):
 
 def FormatAnnotationsAndComments(annotations, indentation):
   if annotations:
+
     newline = '\n%s' % indentation
     result = newline.join(annotations) + newline
     return result