home page: seriously promote free software, more aggressively

1 files changed, 20 insertions, 4 deletions

diff --git a/site/index.php b/site/index.php
index ade3a5b..279810f 100644
--- a/site/index.php
+++ b/site/index.php
@@ -42,10 +42,26 @@
 						echo gettext("Libreboot is a <a href=\"https://www.fsf.org/about/what-is-free-software\">free</a> (libre) BIOS/UEFI replacement. Based on <a href=\"http://coreboot.org/\">coreboot</a>, the aim is to distribute low-level boot firmware that is 100% free software, and easy to use.");
 				?> <a href="docs/index.html#why"><?php echo gettext("Learn more"); ?></a>
 			</p>
+			<ul>
+				<li><a href="#downloads">Downloads</a></li>
+				<li><a href="#howtouse">How to use libreboot</a></li>
+				<li><a href="#howtohelp">How to help</a></li>
+				<li><a href="#contact">Contact information</a></li>
+			</ul>
 	</div>
 
 	<div>
 			<p>
+				Most people in the global <a href="https://www.gnu.org/philosophy/free-sw.html">free software</a> community are using free operating systems; namely, the <a href="https://gnu.org/">GNU operating system</a>.
+				However, most of them are still relying on proprietary software to boot their operating system, via software
+				called <a href="https://en.wikipedia.org/wiki/Firmware">firmware</a> (often referred to as
+				the <a href="https://en.wikipedia.org/wiki/BIOS">BIOS</a> or <a href="https://en.wikipedia.org/wiki/Unified_Extensible_Firmware_Interface">UEFI</a>).
+				The goal of libreboot is identical to that of the <a href="https://gnu.org/">GNU project</a> and <a href="https://fsf.org/">Free Software Foundation</a>, which is to ensure that everyone
+				has the freedom to use, study, adapt and share software freely; more broadly, the freedom to truly own and control the technology that they use.
+			</p>
+	</div>
+	<div>
+			<p>
 				Libreboot has many practical advantages over <a href="https://gnu.org/philosophy/proprietary/">proprietary</a> boot
 				firmware, such as faster boot speeds and better security; source audits are possible and,
 				therefore, the firmware is unlikely to contain backdoors (common in proprietary firmware). You
@@ -61,14 +77,14 @@
 	</div>
 
 	<div>
-		<h1><?php echo gettext("Downloads"); ?></h1>
+		<h1 id="downloads"><?php echo gettext("Downloads"); ?></h1>
 			<ul>
 				<li><a href="download/"><?php echo gettext("Stable release archives"); ?></a></li>
 				<li><a href="git/"><?php echo gettext("Git repositories"); ?></a></li>
 				<li><a href="gpg/"><?php echo gettext("GPG keys"); ?></a></li>
 				<li><a href="rsync/"><?php echo gettext("Mirroring libreboot"); ?> (rsync)</a></li>
 			</ul>
-			<h2><?php echo gettext("Support"); ?></h2>
+			<h2 id="howtouse"><?php echo gettext("Support"); ?></h2>
 				<ul>
 					<li><a href="docs/index.html"><?php echo gettext("Documentation"); ?></a></li>
 					<li><a href="docs/hcl/index.html#supported_list"><?php echo gettext("Compatibility list"); ?></a></li>
@@ -77,12 +93,12 @@
 					<li><a href="docs/gnulinux/grub_cbfs.html"><?php echo gettext("Boot GNU/Linux"); ?></a></li>
 				</ul>
 
-			<h2>How to help?</h2>
+			<h2 id="howtohelp">How to help?</h2>
 				<ul>
 					<li><a href="docs/tasks.html">List of tasks that need to be completed</a></li>
 					<li><a href="docs/maintain/index.html">Maintaining libreboot</a></li>
 				</ul>
-			<h2><?php echo gettext("Contact"); ?></h2>
+			<h2 id="contact"><?php echo gettext("Contact"); ?></h2>
 				<ul>
 					<li><a href="contrib/"><?php echo gettext("Maintainers"); ?></a></li>
 					<li><a href="<?php echo $userMailingListAddress; ?>"><?php echo gettext("Mailing list"); ?></a></li>