[PATCH] Fix first Libreboot release date

[Denis 'GNUtoo' Carikli]

The first Libreboot release was the 12th December 2013[1].

This is also correlated with the fact that I moved to France around
summer 2013, and around December, I gave Leah my build scripts (under
a free license) and I answered all her questions in order to help her
getting the first RYF computer certified. That then lead to the
creation of Libreboot. So the first release cound't have happened in
2009.

[1]https://libreboot.org/news/libreboot20131212.html

Reported-by: f_ (Ferass El Hafidi) on #libreboot on Liberachat.
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
---
 site/index.md | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/site/index.md b/site/index.md
index 0cdb383..c52e09a 100644
--- a/site/index.md
+++ b/site/index.md
@@ -27,11 +27,11 @@ that was free software and was called Libreboot: the 
development team
 added nonfree code to it, but continued to refer to it misleadingly as
 "Libreboot".
 
-Libreboot was first released in 2009. It has been widely recommended
-in the free software community for the last thirteen years. In
-November 2022, "Libreboot" began to include non-libre code.  We have
-made repeated efforts to continue collaboration with those developers
-on to help their version of Libreboot remain libre, but that was not
+Libreboot was first released in 2013. It has been widely recommended
+in the free software community for the last nine years. In November
+2022, "Libreboot" began to include non-libre code.  We have made
+repeated efforts to continue collaboration with those developers on to
+help their version of Libreboot remain libre, but that was not
 successful.
 
 Now we've stepped forward to stand up for freedom, ours and that of
-- 
2.39.1