Added one-liner and "other resources" for dart:html library description

sdk/lib/html/dart2js/html_dart2js.dart

Index: sdk/lib/html/dart2js/html_dart2js.dart
diff --git a/sdk/lib/html/dart2js/html_dart2js.dart b/sdk/lib/html/dart2js/html_dart2js.dart
index 919675d6442b34d9e109d46e1b70c18c9cd4dd2d..4eee289e80869bbff433839dd2ef0a67baabf090 100644
--- a/sdk/lib/html/dart2js/html_dart2js.dart
+++ b/sdk/lib/html/dart2js/html_dart2js.dart
@@ -1,8 +1,24 @@
-/// The Dart HTML library.
-///
-/// For examples, see
-/// [Dart HTML5 Samples](https://github.com/dart-lang/dart-html5-samples)
-/// on Github.
+/**
+ * Resources, including HTML elements, for web-based applications that need to
+ * interact with the browser and the DOM (Document Object Model).
+ *
+ * This library includes DOM element types, CSS styling, local storage,

[Kathy Walrath, 2013/08/28 14:43:12]

The list seems a little ungrammatical: this, this, this, plus this, this, and
this.

[mem, 2013/08/29 11:41:53]

Done.

+ * plus support for media, speech, events, and more.
+ *
+ * ## Other resources
+ *
+ * * If you've never written a web app before, try our
+ * tutorials—[The Game of Darts](http://dartlang.org/docs/tutorials).

[Kathy Walrath, 2013/08/28 14:43:12]

The or A?

[mem, 2013/08/29 11:41:53]

Done.

+ * 
+ * * To see some web-based Dart apps in action and to play with the code,
+ * download
+ * [Dart Editor](http://www.dartlang.org/#get-started)
+ * and run its built-in examples.
+ *
+ * * For even more examples, see
+ * [Dart HTML5 Samples](https://github.com/dart-lang/dart-html5-samples)
+ * on Github.
+ */
 library dart.dom.html;
 
 import 'dart:async';