-Freedo is, however, also a trademark for GNU Linux-libre [7].
-
-[0] http://www.fsfla.org/pipermail/linux-libre/2009-March/000453.html
-[1] http://www.fsfla.org/pipermail/linux-libre/2009-April/000541.html
-[2] https://commons.wikimedia.org/wiki/File:Freedo.svg
-[3] http://www.fsfla.org/pipermail/linux-libre/2010-April/001133.html
-[4] http://www.fsfla.org/pipermail/linux-libre/2009-May/000644.html
-[5] https://commons.wikimedia.org/wiki/File:Freedo_con_GNU.svg
-[6] https://www.gnu.org/graphics/heckert_gnu.en.html
-[7] http://www.fsfla.org/ikiwiki/selibre/linux-libre/
\ No newline at end of file
+Freedo is, however, also a trademark for GNU Linux-libre [8].
+
+[0] http://www.fsfla.org/pipermail/linux-libre/2009-March/000453.html
+[1] http://www.fsfla.org/pipermail/linux-libre/2009-March/000464.html
+[2] http://www.fsfla.org/pipermail/linux-libre/2009-April/000541.html
+[3] https://commons.wikimedia.org/wiki/File:Freedo.svg
+[4] http://www.fsfla.org/pipermail/linux-libre/2010-April/001133.html
+[5] http://www.fsfla.org/pipermail/linux-libre/2009-May/000644.html
+[6] https://commons.wikimedia.org/wiki/File:Freedo_con_GNU.svg
+[7] https://www.gnu.org/graphics/heckert_gnu.en.html
+[8] http://www.fsfla.org/ikiwiki/selibre/linux-libre/
\ No newline at end of file