add back dart:mirrors content, remove dart:isolate, misc. tweaks/updates

ch01.xml

 <?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE chapter PUBLIC "-//OASIS//DTD DocBook XML V4.5//EN"
 "http://www.oasis-open.org/docbook/xml/4.5/docbookx.dtd">
 <chapter id="ch01">
   <?dbhtml stop-chunking?>
 
   <title>Quick Start</title>
 
   <para>Welcome to Dart, an open-source, batteries-included developer platform
   for building structured HTML5 web apps. This chapter tells you why Google
@@ skipping 109 matching lines @@
 
     <programlisting format="linespecific"><remark>lang-dart
 </remark>import 'dart:html';
 
 main() {
   var button = new ButtonElement();
   button..id = 'confirm'
         ..text = 'Click to Confirm'
         ..classes.add('important')
         ..onClick.listen((e) =&gt; window.alert('Confirmed!'));
-  query('#registration').children.add(button);
+  querySelector('#registration').children.add(button);
 }</programlisting>
 
     <para>You’ll learn about the Dart language and libraries in Chapters <xref
     linkend="ch02" xrefstyle="select: labelnumber" /> and <xref linkend="ch03"
     xrefstyle="select: labelnumber" /> respectively.</para>
   </sect1>
 
   <sect1 id="ch01-whats-cool">
     <title>What’s Cool About Dart</title>
 
@@ skipping 72 matching lines @@
     and it’s available under a BSD-style license. You can find the project’s
     <ulink url="http://dart.googlecode.com">issue tracker and source
     repository</ulink> online. Maybe you’ll submit the next patch?</para>
   </sect1>
 
   <sect1 id="ch01-editor">
     <title>Up and Running</title>
 
     <para>Now that you know something about Dart, get ready to code! These
     instructions feature the open-source Dart Editor tool. When you download
-    Dart, you not only get Dart Editor,
-    but also tools such as the Dart-to-JavaScript compiler and a version of
-    Chromium (nicknamed <emphasis>Dartium</emphasis>) that includes the Dart
-    VM.</para>
+    Dart, you not only get Dart Editor, but also tools such as the
+    Dart-to-JavaScript compiler and a version of Chromium (nicknamed
+    <emphasis>Dartium</emphasis>) that includes the Dart VM.</para>
 
     <note>
       <para>If you run into trouble installing and using Dart Editor, see
       <ulink
       url="http://www.dartlang.org/tools/editor/troubleshoot.html">Troubleshooting
       Dart Editor.</ulink></para>
     </note>
 
     <sect2 id="ch01-editor-download">
       <title>Step 1: Download and Install the Software</title>
 
       <para>In this step, you’ll install Dart Editor and, if necessary, a Java
       runtime environment. (To avoid having to modify the PATH environment
       variable, you can install the JRE under your Dart installation
       directory, in a subdirectory named <code>jre</code>.)</para>
 
       <orderedlist continuation="restarts" inheritnum="ignore">
         <listitem>
           <para><ulink url="http://dartlang.org/#get-started">Download
           Dart</ulink>.</para>
         </listitem>
 
         <listitem>
-          <para>Unzip the file you downloaded. The resulting directory, which we’ll call your
-          <emphasis>Dart installation directory</emphasis>, contains the
-          <code>DartEditor</code> executable file and several subdirectories,
-          including a <code>samples</code> directory.</para>
+          <para>Unzip the file you downloaded. The resulting directory, which
+          we’ll call your <emphasis>Dart installation directory</emphasis>,
+          contains the <code>DartEditor</code> executable file and several
+          subdirectories, including a <code>samples</code> directory.</para>
         </listitem>
 
         <listitem>
           <para>If you don’t already have a Java runtime, download and install
           it. Dart Editor requires Java version 6 or higher.</para>
         </listitem>
       </orderedlist>
     </sect2>
 
     <sect2 id="ch01-editor-launch">
@@ skipping 176 matching lines @@
         <title>Send feedback</title>
 
         <para>Click the <emphasis role="bold">SEND FEEDBACK</emphasis> link
         (at the upper right of the Dart Editor window) whenever you notice a
         problem or have an idea for improving Dart Editor. We’ll open a new
         issue for you, if appropriate, without disclosing your sensitive or
         personally identifiable information.</para>
       </sect3>
     </sect2>
   </sect1>
-</chapter>
+</chapter>