25 files changed, 130 insertions, 49 deletions
diff --git a/faq/0-release.mdwn b/faq/0-release.mdwn
index 878a476f..2da7deaa 100644
--- a/faq/0-release.mdwn
+++ b/faq/0-release.mdwn
@@ -1,12 +1,12 @@
-[[!meta copyright="Copyright © 2008 Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2008, 2013 Free Software Foundation, Inc."]]
 
 [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
 id="license" text="Permission is granted to copy, distribute and/or modify this
 document under the terms of the GNU Free Documentation License, Version 1.2 or
 any later version published by the Free Software Foundation; with no Invariant
 Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
-is included in the section entitled
-[[GNU Free Documentation License|/fdl]]."]]"""]]
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
 
 [[!meta title="When will the Hurd be released?"]]
 
diff --git a/faq/0-still_useful.mdwn b/faq/0-still_useful.mdwn
index 85608fe3..85e3ec43 100644
--- a/faq/0-still_useful.mdwn
+++ b/faq/0-still_useful.mdwn
@@ -1,4 +1,5 @@
-[[!meta copyright="Copyright © 2009 Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 1999, 2006, 2008, 2009, 2010, 2013 Free Software
+Foundation, Inc."]]
 
 [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
 id="license" text="Permission is granted to copy, distribute and/or modify this
diff --git a/faq/0-translator.mdwn b/faq/0-translator.mdwn
index 88b5130f..d30b60e9 100644
--- a/faq/0-translator.mdwn
+++ b/faq/0-translator.mdwn
@@ -1,3 +1,14 @@
+[[!meta copyright="Copyright © 2002, 2003, 2004, 2006, 2007, 2008, 2009, 2010,
+2013 Free Software Foundation, Inc."]]
+
+[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
+id="license" text="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
+
 [[!meta title="What is a translator?"]]
 
 A [good explanation](http://www.debian.org/ports/hurd/hurd-doc-translator) is available, translated (sic) in several languages.
diff --git a/faq/asking.mdwn b/faq/asking.mdwn
index 59ec8d08..73348ce2 100644
--- a/faq/asking.mdwn
+++ b/faq/asking.mdwn
@@ -1,3 +1,14 @@
+[[!meta copyright="Copyright © 2002, 2003, 2004, 2006, 2007, 2008, 2009, 2010,
+2013 Free Software Foundation, Inc."]]
+
+[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
+id="license" text="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
+
 [[!meta title="Why can't I get the answers I need from Hurd hackers?"]]
 
 This [document](http://www.catb.org/~esr/faqs/smart-questions.html) may help you
diff --git a/faq/dev/debugging_inside_glibc.mdwn b/faq/dev/debugging_inside_glibc.mdwn
index 6f2d4ee3..63a77a04 100644
--- a/faq/dev/debugging_inside_glibc.mdwn
+++ b/faq/dev/debugging_inside_glibc.mdwn
@@ -1,4 +1,4 @@
-[[!meta copyright="Copyright © 2007, 2008, 2009 Free Software Foundation,
+[[!meta copyright="Copyright © 2007, 2008, 2009, 2013 Free Software Foundation,
 Inc."]]
 
 [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
@@ -6,8 +6,8 @@ id="license" text="Permission is granted to copy, distribute and/or modify this
 document under the terms of the GNU Free Documentation License, Version 1.2 or
 any later version published by the Free Software Foundation; with no Invariant
 Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
-is included in the section entitled
-[[GNU Free Documentation License|/fdl]]."]]"""]]
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
 
 In Debian, to get [[debugging]] information for glibc, you need to install the
 `libc0.3-dbg` package.  At the place [[debugging/GDB]] looks for debugging
diff --git a/faq/dev/debugging_translators.mdwn b/faq/dev/debugging_translators.mdwn
index 7a90a7e0..a054f2e0 100644
--- a/faq/dev/debugging_translators.mdwn
+++ b/faq/dev/debugging_translators.mdwn
@@ -1,12 +1,13 @@
-[[!meta copyright="Copyright © 2007, 2008 Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2007, 2008, 2013 Free Software Foundation,
+Inc."]]
 
 [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
 id="license" text="Permission is granted to copy, distribute and/or modify this
 document under the terms of the GNU Free Documentation License, Version 1.2 or
 any later version published by the Free Software Foundation; with no Invariant
 Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
-is included in the section entitled
-[[GNU Free Documentation License|/fdl]]."]]"""]]
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
 
 In order to [[debug|debugging]] translators and being able to step into glibc
 during it, on Debian you need the `hurd-dbg` and `libc0.3-dbg` packages installed.
diff --git a/faq/ghamp.mdwn b/faq/ghamp.mdwn
index 054788eb..65b2097f 100644
--- a/faq/ghamp.mdwn
+++ b/faq/ghamp.mdwn
@@ -1,4 +1,4 @@
-[[!meta copyright="Copyright © 2010 Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2010, 2013 Free Software Foundation, Inc."]]
 
 [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
 id="license" text="Permission is granted to copy, distribute and/or modify this
diff --git a/faq/gnu.mdwn b/faq/gnu.mdwn
index e69f7d1d..6632d888 100644
--- a/faq/gnu.mdwn
+++ b/faq/gnu.mdwn
@@ -1,3 +1,14 @@
+[[!meta copyright="Copyright © 2002, 2003, 2004, 2006, 2007, 2008, 2009, 2010,
+2013 Free Software Foundation, Inc."]]
+
+[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
+id="license" text="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
+
 [[!meta title="You say GNU, don't you mean GNU/Hurd?"]]
 
 Yes and no. GNU refers to the system as a whole, while GNU/Hurd is more
diff --git a/faq/help.mdwn b/faq/help.mdwn
index 8352dbfe..9525be12 100644
--- a/faq/help.mdwn
+++ b/faq/help.mdwn
@@ -5,8 +5,8 @@ id="license" text="Permission is granted to copy, distribute and/or modify this
 document under the terms of the GNU Free Documentation License, Version 1.2 or
 any later version published by the Free Software Foundation; with no Invariant
 Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
-is included in the section entitled
-[[GNU Free Documentation License|/fdl]]."]]"""]]
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
 
 [[!meta title="How can I help?"]]
 
diff --git a/faq/issues/eata.mdwn b/faq/issues/eata.mdwn
index 411a1b16..b9b0565a 100644
--- a/faq/issues/eata.mdwn
+++ b/faq/issues/eata.mdwn
@@ -1,4 +1,4 @@
-[[!meta copyright="Copyright © 2010 Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2010, 2013 Free Software Foundation, Inc."]]
 
 [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
 id="license" text="Permission is granted to copy, distribute and/or modify this
diff --git a/faq/issues/fd.mdwn b/faq/issues/fd.mdwn
index fad2df7c..514ab378 100644
--- a/faq/issues/fd.mdwn
+++ b/faq/issues/fd.mdwn
@@ -5,8 +5,8 @@ id="license" text="Permission is granted to copy, distribute and/or modify this
 document under the terms of the GNU Free Documentation License, Version 1.2 or
 any later version published by the Free Software Foundation; with no Invariant
 Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
-is included in the section entitled
-[[GNU Free Documentation License|/fdl]]."]]"""]]
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
 
 [[!meta title="I'm getting I/O eror, dev 02:00, sector 0"]]
 
diff --git a/faq/old/old_faq.txt b/faq/old/old_faq.txt
index f6a4204b..caadb54a 100644
--- a/faq/old/old_faq.txt
+++ b/faq/old/old_faq.txt
@@ -1,13 +1,13 @@
-[[!meta copyright="Copyright © 2001, 2002, 2003, 2004, 2005, 2008 Free Software
-Foundation, Inc."]]
+[[!meta copyright="Copyright © 2001, 2002, 2003, 2004, 2005, 2008, 2013 Free
+Software Foundation, Inc."]]
 
 [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
 id="license" text="Permission is granted to copy, distribute and/or modify this
 document under the terms of the GNU Free Documentation License, Version 1.2 or
 any later version published by the Free Software Foundation; with no Invariant
 Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
-is included in the section entitled
-[[GNU Free Documentation License|/fdl]]."]]"""]]
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
 
             Frequently Asked Questions about the GNU Hurd
 
diff --git a/faq/old/old_hurd_faq.txt b/faq/old/old_hurd_faq.txt
index 20ce61a9..70c93c61 100644
--- a/faq/old/old_hurd_faq.txt
+++ b/faq/old/old_hurd_faq.txt
@@ -1,3 +1,14 @@
+[[!meta copyright="Copyright © 1999, 2006, 2008, 2010, 2013 Free Software
+Foundation, Inc."]]
+
+[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
+id="license" text="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
+
 The Unofficial (and no longer maintained) GNU&nbsp;Hurd FAQ, Version 0.13
 
 Contributions by:
diff --git a/faq/running/df.mdwn b/faq/running/df.mdwn
index 0e25ad66..9987a373 100644
--- a/faq/running/df.mdwn
+++ b/faq/running/df.mdwn
@@ -1,12 +1,13 @@
-[[!meta copyright="Copyright © 2007, 2008 Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2007, 2008, 2013 Free Software Foundation,
+Inc."]]
 
 [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
 id="license" text="Permission is granted to copy, distribute and/or modify this
 document under the terms of the GNU Free Documentation License, Version 1.2 or
 any later version published by the Free Software Foundation; with no Invariant
 Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
-is included in the section entitled
-[[GNU Free Documentation License|/fdl]]."]]"""]]
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
 
 [[!meta title="Why df doesn't work?"]]
 
diff --git a/faq/running/serial_console.mdwn b/faq/running/serial_console.mdwn
index 129ac7f3..44453ac5 100644
--- a/faq/running/serial_console.mdwn
+++ b/faq/running/serial_console.mdwn
@@ -1,3 +1,14 @@
+[[!meta copyright="Copyright © 2002, 2003, 2004, 2006, 2007, 2008, 2009, 2010,
+2013 Free Software Foundation, Inc."]]
+
+[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
+id="license" text="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
+
 [[!meta title="How do I initialize a serial console on the Hurd?"]]
 
   * You can try out the Serial Howto at <http://www.nongnu.org/thug/serial-howto.txt>
diff --git a/faq/running/slash_usr_symlink.mdwn b/faq/running/slash_usr_symlink.mdwn
index 5c70e54a..e7d7776a 100644
--- a/faq/running/slash_usr_symlink.mdwn
+++ b/faq/running/slash_usr_symlink.mdwn
@@ -1,13 +1,13 @@
-[[!meta copyright="Copyright © 2001, 2002, 2003, 2004, 2005, 2008 Free Software
-Foundation, Inc."]]
+[[!meta copyright="Copyright © 2001, 2002, 2003, 2004, 2005, 2008, 2013 Free
+Software Foundation, Inc."]]
 
 [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
 id="license" text="Permission is granted to copy, distribute and/or modify this
 document under the terms of the GNU Free Documentation License, Version 1.2 or
 any later version published by the Free Software Foundation; with no Invariant
 Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
-is included in the section entitled
-[[GNU Free Documentation License|/fdl]]."]]"""]]
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
 
 [[!meta title="Why is `/usr' a symbolic link to `.'?"]]
 
diff --git a/faq/sauce.mdwn b/faq/sauce.mdwn
index 16f19f7c..2306aece 100644
--- a/faq/sauce.mdwn
+++ b/faq/sauce.mdwn
@@ -1,3 +1,14 @@
+[[!meta copyright="Copyright © 2002, 2003, 2004, 2006, 2007, 2008, 2009, 2010,
+2013 Free Software Foundation, Inc."]]
+
+[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
+id="license" text="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
+
 [[!meta title="Where's the sauce?"]]
 
 It's on [Savannah](http://savannah.gnu.org). See also the [GNU Development Resources](http://www.gnu.org/software/devel.html), for more information.
diff --git a/faq/support/0-software.mdwn b/faq/support/0-software.mdwn
index 4726147c..324dbbef 100644
--- a/faq/support/0-software.mdwn
+++ b/faq/support/0-software.mdwn
@@ -1,3 +1,14 @@
+[[!meta copyright="Copyright © 2002, 2003, 2004, 2006, 2007, 2008, 2009, 2010,
+2013 Free Software Foundation, Inc."]]
+
+[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
+id="license" text="Permission is granted to copy, distribute and/or modify this
+document under the terms of the GNU Free Documentation License, Version 1.2 or
+any later version published by the Free Software Foundation; with no Invariant
+Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
+
 [[!meta title="What software is available for GNU?"]]
 
   * Most (3/4) packages from [Debian](http://www.debian.org/) [GNU/Linux](http://www.gnu.org/gnu/linux-and-gnu.html) which aren't linux-specific ([Packages That Won't Be Ported](http://www.debian.org/ports/hurd/hurd-devel-debian)) are expected to work on GNU/Hurd too. See the database in <http://packages.debian.org/>. Notably, [GNOME](http://www.gnome.org), and [KDE](http://www.kde.org) work. See the [[porting/guidelines]] document for some common build problems and their solutions.
diff --git a/faq/support/2_gib_partition_limit.mdwn b/faq/support/2_gib_partition_limit.mdwn
index 8d921b07..3d502a17 100644
--- a/faq/support/2_gib_partition_limit.mdwn
+++ b/faq/support/2_gib_partition_limit.mdwn
@@ -1,12 +1,13 @@
-[[!meta copyright="Copyright © 2007, 2008 Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2007, 2008, 2013 Free Software Foundation,
+Inc."]]
 
 [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
 id="license" text="Permission is granted to copy, distribute and/or modify this
 document under the terms of the GNU Free Documentation License, Version 1.2 or
 any later version published by the Free Software Foundation; with no Invariant
 Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
-is included in the section entitled
-[[GNU Free Documentation License|/fdl]]."]]"""]]
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
 
 [[!meta title="Is there still a 2 GiB Partition Limit?"]]
 
diff --git a/faq/support/64bit.mdwn b/faq/support/64-bit.mdwn
index 5b899b55..ab95d9d0 100644
--- a/faq/support/64bit.mdwn
+++ b/faq/support/64-bit.mdwn
@@ -1,5 +1,4 @@
-[[!meta copyright="Copyright © 2013 Free Software Foundation,
-Inc."]]
+[[!meta copyright="Copyright © 2013 Free Software Foundation, Inc."]]
 
 [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
 id="license" text="Permission is granted to copy, distribute and/or modify this
@@ -9,9 +8,9 @@ Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
 is included in the section entitled [[GNU Free Documentation
 License|/fdl]]."]]"""]]
 
-[[!meta title="Is there a 64bit version?"]]
+[[!meta title="Is there a 64-bit version?"]]
 
-There are currently no plan for 64bit userland, but there are plans for 64bit
-kernelland + 32bit userland, which will notably permit to efficiently make use
-of more than 2GiB memory and provide 4GiB userland addressing space. Work on
-this is currently in branches in GNU Mach.
+There are currently no plan for 64-bit userland, but there are plans for 64-bit
+kernelland with 32-bit userland, which will notably permit to efficiently make
+use of more than 2 GiB memory and provide 4 GiB userland addressing space.
+Work on this is currently in branches for GNU Mach.
diff --git a/faq/support/fuse_support.mdwn b/faq/support/fuse_support.mdwn
index 8867d954..33e877ce 100644
--- a/faq/support/fuse_support.mdwn
+++ b/faq/support/fuse_support.mdwn
@@ -1,5 +1,4 @@
-[[!meta copyright="Copyright © 2013 Free Software Foundation,
-Inc."]]
+[[!meta copyright="Copyright © 2013 Free Software Foundation, Inc."]]
 
 [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
 id="license" text="Permission is granted to copy, distribute and/or modify this
diff --git a/faq/support/ram_limit.mdwn b/faq/support/ram_limit.mdwn
index 4043203e..0fa27c2e 100644
--- a/faq/support/ram_limit.mdwn
+++ b/faq/support/ram_limit.mdwn
@@ -11,7 +11,7 @@ License|/fdl]]."]]"""]]
 
 [[!meta title="830 MiB RAM Limit"]]
 
-Just like any 32bit OS without bad tricks, GNU Mach can not cope well with lots
+Just like any 32-bit OS without bad tricks, GNU Mach can not cope well with lots
 of memory.  Latest versions of the Debian `gnumach` package will limit themselves
 to around 1.7 GiB of memory. If you want more, you can twiddle the `VM_MAX_ADDRESS`
 limit between kernelland and userland in `i386/include/mach/i386/vm_param.h`.
diff --git a/faq/support/sata_disk_drives.mdwn b/faq/support/sata_disk_drives.mdwn
index 2edaa610..69470f10 100644
--- a/faq/support/sata_disk_drives.mdwn
+++ b/faq/support/sata_disk_drives.mdwn
@@ -1,12 +1,12 @@
-[[!meta copyright="Copyright © 2008 Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2008, 2013 Free Software Foundation, Inc."]]
 
 [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
 id="license" text="Permission is granted to copy, distribute and/or modify this
 document under the terms of the GNU Free Documentation License, Version 1.2 or
 any later version published by the Free Software Foundation; with no Invariant
 Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
-is included in the section entitled
-[[GNU Free Documentation License|/fdl]]."]]"""]]
+is included in the section entitled [[GNU Free Documentation
+License|/fdl]]."]]"""]]
 
 [[!meta title="Are SATA disk drives supported?"]]
 
diff --git a/faq/support/sharing_the_user_space.mdwn b/faq/support/sharing_the_user_space.mdwn
index 8702470a..2c31c22b 100644
--- a/faq/support/sharing_the_user_space.mdwn
+++ b/faq/support/sharing_the_user_space.mdwn
@@ -1,4 +1,4 @@
-[[!meta copyright="Copyright © 2010 Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2010, 2013 Free Software Foundation, Inc."]]
 
 [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
 id="license" text="Permission is granted to copy, distribute and/or modify this
@@ -8,12 +8,13 @@ Sections, no Front-Cover Texts, and no Back-Cover Texts.  A copy of the license
 is included in the section entitled [[GNU Free Documentation
 License|/fdl]]."]]"""]]
 
-[[!meta title=" Could it be possible to have a system installation where you can
-dual-boot using either the [[Linux]] kernel, or the GNU Hurd, so that
-everything but the kernel is shared?]]
+[[!meta title="Sharing the userspace between GNU Hurd and the Linux kernel"]]
 
 Given that both Linux and GNU Hurd are using the [[ELF]] binary
-format, this could indeed be made possible, if all programs agreed to rely on
+format, it is in theory possible to have a system installation where you can
+dual-boot using either the [[Linux]] kernel, or the GNU Hurd, so that
+everything but the kernel is shared.
+For this, all programs need to agree to rely on
 only one abstraction layer, for example the standard C library ([[glibc]]).
 (Additionally, for example for [[system call]]s that are not covered by glibc
 calls, you'd need to be able to reliably trap and emulate these.)  However,
diff --git a/faq/which_microkernel.mdwn b/faq/which_microkernel.mdwn
index 3ceb315c..4c3f0a42 100644
--- a/faq/which_microkernel.mdwn
+++ b/faq/which_microkernel.mdwn
@@ -1,4 +1,5 @@
-[[!meta copyright="Copyright © 2009, 2011 Free Software Foundation, Inc."]]
+[[!meta copyright="Copyright © 2009, 2011, 2013 Free Software Foundation,
+Inc."]]
 
 [[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
 id="license" text="Permission is granted to copy, distribute and/or modify this