From 9918bfbd73024914207775c3bdbd2ffc40942d37 Mon Sep 17 00:00:00 2001
From: Francis Rowe <info@gluglug.org.uk>
Date: Wed, 07 Oct 2015 16:02:40 -0400
Subject: docs/tasks.html: tidy up

---
(limited to 'docs/index.html')

diff --git a/docs/index.html b/docs/index.html
index 2784128..b4562b7 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -78,9 +78,8 @@
 				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. You can
 				<a href="gnulinux/index.html">install GNU/Linux with encrypted /boot/</a>,
-				<a href="http://www.coreboot.org/GRUB2#signed_kernels">verify GPG signatures on your kernel</a>, 
-				run a <a href="http://proteanos.com/">full operating system</a> directly
-				from the flash chip (planned for a future release), and more.
+				<a href="http://www.coreboot.org/GRUB2#signed_kernels">verify GPG signatures on your kernel</a>,
+				put a kernel in the flash chip and more.
 			</p>
 
 			<h2>
--
cgit v0.9.1