docs/hcl/c201.html: move anti-ChromeOS sentiments nearer the start

1 files changed, 62 insertions, 62 deletions

diff --git a/docs/hcl/c201.html b/docs/hcl/c201.html
index b3b6c4f..6cf7edc 100644
--- a/docs/hcl/c201.html
+++ b/docs/hcl/c201.html
@@ -48,11 +48,11 @@
 		<ul>
 			<li><a href="#thescrew">Flash chip write protection: the screw</a></li>
 			<li><a href="#googlebastards">Google is bad. We do not endorse them.</a></li>
+			<li><a href="#os">Replace ChromeOS immediately!</a></li>
 			<li><a href="#videoblobs">Caution: Video acceleration requires a blob. Do not install it. Use software rendering.</a></li>
 			<li><a href="#wifiblobs">Caution: WiFi acceleration requires a blob. Do not install it. Use a USB dongle.</a></li>
 			<li><a href="#ec">EC firmware is free software!</a></li>
 			<li><a href="#microcode">No microcode!</a></li>
-			<li><a href="#os">Replace ChromeOS immediately!</a></li>
 			<li><a href="#depthcharge">Depthcharge payload</a></li>
 		</ul>
 	</div>
@@ -94,6 +94,67 @@
 	</div>
 
 	<div class="section">
+		<h1 id="os">Replace ChromeOS immediately!</h1>
+			<p>
+				This laptop comes preinstalled (from the factory) with Google ChromeOS. This is a GNU/Linux distribution, but it's not general purpose
+				and it comes with proprietary software. It's designed for <i><a href="https://www.gnu.org/philosophy/who-does-that-server-really-serve.en.html">SaaSS</a></i>. Libreboot recommends that all users of this laptop replace it with another distribution.
+			</p>
+			<h2>No FSF-endorsed distros available</h2>
+				<p>
+					The FSF has a <a href="https://www.gnu.org/distros/free-distros.html">list of distributions</a> that are 100% free software. None of these
+					are confirmed to work on ARM chromebooks yet. Parabola looks hopeful:
+					<a href="https://www.parabola.nu/news/parabola-supports-armv7/">https://www.parabola.nu/news/parabola-supports-armv7/</a>
+				</p>
+				<p>
+					The libreboot project would like to see all FSF-endorsed distro projects port to these laptops. This includes Trisquel, GuixSD and others.
+					And ProteanOS. Maybe even LibreCMC. The more the merrier. We need them, badly.
+				</p>
+			<h2>What can be done meanwhile?</h2>
+				<p>
+					There are some other distributions, which are not freedom-friendly (institutionally speaking), but can be with some tweaking.
+				</p>
+				<p>
+					There isn't much choice, but we can recommend these distributions for the time being:
+				</p>
+				<h3>Debian GNU/Linux</h3>
+					<p>
+						The FSF details the problems with Debian:
+						<a href="https://www.gnu.org/distros/common-distros.html#Debian">https://www.gnu.org/distros/common-distros.html#Debian</a>
+					</p>
+					<p>
+						You can actually run Debian without any proprietary software. The default installation comes without any proprietary software,
+						and although the project does have proprietary software, its only in a separate repository which isn't enabled by default.
+						The Debian project has a strict policy of keeping proprietary software out of the main repository, and moving it to a separate repository;
+						this repository is called <i>non-free</i>, with supplementary packages that require it in <i>contrib</i>, also not enabled by default.
+						If you install Debian and replace the kernel with <a href="http://www.fsfla.org/ikiwiki/selibre/linux-libre/">linux-libre</a>,
+						you can be reasonably certain not to install any proprietary software. However, make sure to exercise caution, since this isn't
+						endorsed at all, and mistakes can happen.
+					</p>
+					<p>
+						<b>Note that this does not mean Debian is ok! Far from it! Institutionally, Debian is rotten because it distributes proprietary software,
+						even if it's optional and not included by default.</b>
+					</p>
+				<h3>Fedora GNU/Linux</h3>
+					<p>
+						Unlike Debian, Fedora (to the best of our knowledge) only distributes proprietary software in the form of firmware blobs for the Linux kernel.
+						There are repositories for Fedora that contain proprietary software, but none of these are official and have to be added. So just don't add them.
+						Then, delete <i>linux</i> and replace it with <a href="http://www.fsfla.org/ikiwiki/selibre/linux-libre/">linux-libre</a>.
+					</p>
+					<p>
+						<b>Note that this does not mean Fedora is ok! Far from it! Institutionally, Fedora is rotten because it distributes proprietary software,
+						even if it's easy to remove.</b>
+					</p>
+				<h3>We need libre distributions to be ported.</h3>
+					<p>
+						As soon as possible, the libreboot project would like to remove mention of Fedora and Debian.
+						We find such distributions ethically repugnant.
+					</p>
+			<p>
+				<a href="#pagetop">Back to top of page</a>.
+			</p>
+	</div>
+
+	<div class="section">
 		<h1 id="videoblobs">Caution: Video acceleration requires a blob. Do not install it. Use software rendering.</h1>
 			<p>
 				The lima driver source code for the onboard Mali GPU is not released. The developer withheld it for personal reasons.
@@ -174,67 +235,6 @@
 				<a href="#pagetop">Back to top of page</a>.
 			</p>
 	</div>
-	
-	<div class="section">
-		<h1 id="os">Replace ChromeOS immediately!</h1>
-			<p>
-				This laptop comes preinstalled (from the factory) with Google ChromeOS. This is a GNU/Linux distribution, but it's not general purpose
-				and it comes with proprietary software. It's designed for <i><a href="https://www.gnu.org/philosophy/who-does-that-server-really-serve.en.html">SaaSS</a></i>. Libreboot recommends that all users of this laptop replace it with another distribution.
-			</p>
-			<h2>No FSF-endorsed distros available</h2>
-				<p>
-					The FSF has a <a href="https://www.gnu.org/distros/free-distros.html">list of distributions</a> that are 100% free software. None of these
-					are confirmed to work on ARM chromebooks yet. Parabola looks hopeful:
-					<a href="https://www.parabola.nu/news/parabola-supports-armv7/">https://www.parabola.nu/news/parabola-supports-armv7/</a>
-				</p>
-				<p>
-					The libreboot project would like to see all FSF-endorsed distro projects port to these laptops. This includes Trisquel, GuixSD and others.
-					And ProteanOS. Maybe even LibreCMC. The more the merrier. We need them, badly.
-				</p>
-			<h2>What can be done meanwhile?</h2>
-				<p>
-					There are some other distributions, which are not freedom-friendly (institutionally speaking), but can be with some tweaking.
-				</p>
-				<p>
-					There isn't much choice, but we can recommend these distributions for the time being:
-				</p>
-				<h3>Debian GNU/Linux</h3>
-					<p>
-						The FSF details the problems with Debian:
-						<a href="https://www.gnu.org/distros/common-distros.html#Debian">https://www.gnu.org/distros/common-distros.html#Debian</a>
-					</p>
-					<p>
-						You can actually run Debian without any proprietary software. The default installation comes without any proprietary software,
-						and although the project does have proprietary software, its only in a separate repository which isn't enabled by default.
-						The Debian project has a strict policy of keeping proprietary software out of the main repository, and moving it to a separate repository;
-						this repository is called <i>non-free</i>, with supplementary packages that require it in <i>contrib</i>, also not enabled by default.
-						If you install Debian and replace the kernel with <a href="http://www.fsfla.org/ikiwiki/selibre/linux-libre/">linux-libre</a>,
-						you can be reasonably certain not to install any proprietary software. However, make sure to exercise caution, since this isn't
-						endorsed at all, and mistakes can happen.
-					</p>
-					<p>
-						<b>Note that this does not mean Debian is ok! Far from it! Institutionally, Debian is rotten because it distributes proprietary software,
-						even if it's optional and not included by default.</b>
-					</p>
-				<h3>Fedora GNU/Linux</h3>
-					<p>
-						Unlike Debian, Fedora (to the best of our knowledge) only distributes proprietary software in the form of firmware blobs for the Linux kernel.
-						There are repositories for Fedora that contain proprietary software, but none of these are official and have to be added. So just don't add them.
-						Then, delete <i>linux</i> and replace it with <a href="http://www.fsfla.org/ikiwiki/selibre/linux-libre/">linux-libre</a>.
-					</p>
-					<p>
-						<b>Note that this does not mean Fedora is ok! Far from it! Institutionally, Fedora is rotten because it distributes proprietary software,
-						even if it's easy to remove.</b>
-					</p>
-				<h3>We need libre distributions to be ported.</h3>
-					<p>
-						As soon as possible, the libreboot project would like to remove mention of Fedora and Debian.
-						We find such distributions ethically repugnant.
-					</p>
-			<p>
-				<a href="#pagetop">Back to top of page</a>.
-			</p>
-	</div>
 
 	<div class="section">
 		<h1 id="depthcharge">Depthcharge payload</h1>