diff --git a/website/posts/guix-at-libreplanet-2016.sxml b/website/posts/guix-at-libreplanet-2016.sxml
+$ export GUILE_LOAD_PATH=$(guix build guile-syntax-highlight)/share/guile/site/2.2:$GUILE_LOAD_PATH
diff --git a/website/apps/base/templates/components.scm b/website/apps/base/templates/components.scm
+ ,(C_ "website menu" (menu-item #:label "Download" #:active-item active-item #:url (guix-url "download/")))
+ ,(C_ "website menu" (menu-item #:label "Packages" #:active-item active-item #:url (guix-url "packages/")))
+ ,(C_ "website menu" (menu-item #:label "Blog" #:active-item active-item #:url (guix-url "blog/")))
+ ,(C_ "website menu" (menu-item #:label "Help" #:active-item active-item #:url (guix-url "help/")))
+ ,(C_ "website menu" (menu-item #:label "Donate" #:active-item active-item #:url (guix-url "donate/")))
+ ,(menu-dropdown #:label (C_ "website menu" "About") #:active-item active-item #:url (guix-url "about/")
+ (C_ "website menu" (menu-item #:label "Contact" #:active-item active-item #:url (guix-url "contact/")))
+ (C_ "website menu" (menu-item #:label "Contribute" #:active-item active-item #:url (guix-url "contribute/")))
+ (C_ "website menu" (menu-item #:label "Security" #:active-item active-item #:url (guix-url "security/")))
+ (C_ "website menu" (menu-item #:label "Graphics" #:active-item active-item #:url (guix-url "graphics/")))))))
diff --git a/website/apps/base/templates/contribute.scm b/website/apps/base/templates/contribute.scm
diff --git a/website/apps/base/templates/screenshot.scm b/website/apps/base/templates/screenshot.scm
diff --git a/website/apps/blog/templates/components.scm b/website/apps/blog/templates/components.scm
diff --git a/website/apps/download/templates/components.scm b/website/apps/download/templates/components.scm
diff --git a/website/apps/download/templates/download.scm b/website/apps/download/templates/download.scm
diff --git a/website/apps/packages/templates/components.scm b/website/apps/packages/templates/components.scm
diff --git a/website/apps/packages/templates/detailed-index.scm b/website/apps/packages/templates/detailed-index.scm
diff --git a/website/apps/packages/templates/detailed-package-list.scm b/website/apps/packages/templates/detailed-package-list.scm
diff --git a/website/apps/packages/templates/package-list.scm b/website/apps/packages/templates/package-list.scm
diff --git a/website/apps/packages/templates/package.scm b/website/apps/packages/templates/package.scm
+msgid "Guix is an advanced distribution of the GNU operating system.\n Guix is technology that respects the freedom of computer users.\n You are free to run the system for any purpose, study how it\n works, improve it, and share it with the whole world."
+#: apps/base/templates/home.scm:26 apps/base/templates/menu.scm:20 apps/base/templates/screenshot.scm:23 apps/blog/templates/post-list.scm:29 apps/blog/templates/tag.scm:33 apps/packages/templates/detailed-index.scm:27 apps/packages/templates/detailed-package-list.scm:30 apps/packages/templates/index.scm:27 apps/packages/templates/package-list.scm:30 apps/packages/templates/package.scm:32
+msgid "GNU|Linux|Unix|Free software|Libre software|Operating system|GNU Hurd|GNU Guix package manager|GNU Guile|Guile Scheme|Transactional upgrades|Functional package management|Reproducibility"
+#: apps/base/templates/home.scm:30 apps/base/templates/components.scm:343 apps/base/templates/screenshot.scm:27
+msgid "<1>Liberating.</1> Guix is an advanced distribution of the <2>GNU operating system</2> developed by the <3>GNU Project</3>—which respects the <4>freedom of computer users</4>. "
+msgid "<1>Dependable.</1> Guix <2>supports<2.1>en</2.1><2.2>Package-Management.html</2.2></2> transactional upgrades and roll-backs, unprivileged package management, <3>and more<3.1>en</3.1><3.2>Features.html</3.2></3>. When used as a standalone distribution, Guix supports <4>declarative system configuration<4.1>en</4.1><4.2>Using-the-Configuration-System.html</4.2></4> for transparent and reproducible operating systems."
+msgid "<1>Hackable.</1> It provides <2>Guile Scheme</2> APIs, including high-level embedded domain-specific languages (EDSLs) to <3>define packages<3.1>en</3.1><3.2>Defining-Packages.html</3.2></3> and <4>whole-system configurations<4.1>en</4.1><4.2>System-Configuration.html</4.2></4>."
+msgid "Guix comes with thousands of packages which include applications, system tools, documentation, fonts, and other digital goods readily available for installing with the <1>GNU Guix</1> package manager."
+msgid "Video: <1>Demo of Guix in another GNU/Linux distribution<1.1/>https://audio-video.gnu.org/video/misc/2016-07__GNU_Guix_Demo_2.webm</1> (1 minute, 30 seconds)."
+msgid "If you don't use GNU Guix as a standalone GNU/Linux distribution, you still can use it as a package manager on top of any GNU/Linux distribution. This way, you can benefit from all its conveniences."
+msgid "Guix won't interfere with the package manager that comes with your distribution. They can live together."
+#: apps/base/templates/theme.scm:17 apps/base/templates/components.scm:350 apps/base/templates/about.scm:27 apps/base/templates/about.scm:30 apps/base/templates/contact.scm:26 apps/base/templates/contribute.scm:26 apps/base/templates/graphics.scm:24 apps/base/templates/security.scm:28
+msgid "Made with <1>♥</1> by humans and powered by <2>GNU Guile</2>. <3>Source code</3> under the <4>GNU AGPL</4>."
+#: apps/base/templates/components.scm:344 apps/download/templates/download.scm:42 apps/download/templates/download.scm:46 apps/download/templates/download.scm:42 apps/download/templates/download.scm:46
+#: apps/base/templates/components.scm:345 apps/packages/templates/detailed-index.scm:31 apps/packages/templates/detailed-index.scm:38 apps/packages/templates/detailed-package-list.scm:34 apps/packages/templates/detailed-package-list.scm:43 apps/packages/templates/index.scm:31 apps/packages/templates/index.scm:37 apps/packages/templates/package-list.scm:34 apps/packages/templates/package-list.scm:40 apps/packages/templates/package.scm:36 apps/packages/templates/package.scm:41
+#: apps/base/templates/components.scm:346 apps/blog/templates/post-list.scm:33 apps/blog/templates/post-list.scm:39 apps/blog/templates/post.scm:29 apps/blog/templates/post.scm:35 apps/blog/templates/tag.scm:37 apps/blog/templates/tag.scm:43
+#: apps/base/templates/components.scm:347 apps/base/templates/help.scm:26 apps/base/templates/help.scm:30
+#: apps/base/templates/components.scm:348 apps/base/templates/donate.scm:26 apps/base/templates/donate.scm:29
+msgid "GNU|Linux|Unix|Free software|Libre software|Operating system|GNU Hurd|GNU Guix package manager"
+msgid "The <1>GNU Guix</1> package and system manager is a <2>free software</2> project developed by volunteers around the world under the\n umbrella of the <3>GNU Project</3>. "
+msgid "Guix System is an advanced distribution of the <1>GNU operating system</1>. It uses the <2>Linux-libre</2> kernel, and support for <3>the Hurd</3> is being worked on. As a GNU distribution, it is committed\n to respecting and enhancing <4>the freedom of its users</4>. As such, it adheres to the <5>GNU Free System Distribution Guidelines</5>."
+msgid "GNU Guix provides <1>state-of-the-art package management features<1.1>en</1.1><1.2>Features.html</1.2></1> such as transactional upgrades and roll-backs, reproducible\n build environments, unprivileged package management, and\n per-user profiles. It uses low-level mechanisms from the <2>Nix</2> package manager, but packages are <3>defined<3.1>en</3.1><3.2>Defining-Packages.html</3.2></3> as native <4>Guile</4> modules, using extensions to the <5>Scheme</5> language—which makes it nicely hackable."
+msgid "Guix takes that a step further by additionally supporting stateless,\n reproducible <1>operating system configurations<1.1>en</1.1><1.2>Using-the-Configuration-System.html</1.2></1>. This time the whole system is hackable in Scheme, from the <2>initial RAM disk<2.1>en</2.1><2.2>Initial-RAM-Disk.html</2.2></2> to the <3>initialization system</3>, and to the <4>system services<4.1>en</4.1><4.2>Defining-Services.html</4.2></4>."
+msgid "Guix is currently maintained by Ludovic Courtès and Ricardo\n Wurmus. Please use the <1>mailing lists</1> for contact. "
+msgid "Guix is free software; you can redistribute it and/or modify\n it under the terms of the <1>GNU General Public License</1> as published by the Free Software Foundation; either\n version 3 of the License, or (at your option) any later\n version. "
+msgid "Join the <1/> channel on the Freenode IRC network to chat\n with the community about GNU Guix or to get help in\n real-time."
+msgid "Subscribe to the <1/> low-traffic mailing\nlist to receive important announcements sent by the project maintainers (in\nEnglish)."
+msgid "Subscribe to the Help mailing list to get support\nfrom the GNU Guix community via email. You can post messages in English\nthough we also accept other languages."
+msgid "If you found a bug in Guix, check whether the bug is\n already in the <1>bug database</1>. If it is not, please <2>report it.</2>"
+msgid "Discussion about the development of GNU Guix. <1> Until July 2013</1>, the bug-Guix mailing list filled that role. "
+msgid "Submission of patches. Every message sent to this mailing list\n leads to a new entry in our <1>patch tracking tool</1>. See <2>this page</2> for more information on how to use it; see <3>the manual<3.1>en</3.1><3.2>Submitting-Patches.html</3.2></3> for more information on how to submit a patch. <4>Until February 2017</4>, the guix-devel mailing list filled that role."
+msgid "This is a private mailing list that anyone can post to to <1>report security issues</1> in Guix itself or in the <2>packages</2> it provides. Posting here allows Guix developers to address\n the problem before it is widely publicized."
+msgid "A list of resources about how to use GNU Guix, plus\n information about getting help from the community of users and\n developers."
+msgid "GNU|Linux|Unix|Free software|Libre software|Operating system|GNU Hurd|GNU Guix package manager|Help resources"
+msgid "Documentation for GNU Guix is available\n online. You may also find more information about Guix by running <1>info guix</1>."
+msgid "Guix is a distribution of the <1>GNU operating system</1>. Documentation for GNU packages is\n available online in various formats. "
+msgid "For real-time support from the community, you can connect\n to the <1/> channel on irc.freenode.net. There\n you can get help about anything related to GNU Guix."
+msgid "The <1/> channel is logged. Previous\n conversations can be browsed online. See the <2>channel logs</2>. "
+msgid "Email support from the community is also available through\n several mailing list. The messages sent to the lists are\n public and archived online."
+#: apps/base/templates/contact.scm:17 apps/base/templates/irc.scm:18 apps/base/templates/irc.scm:29
+msgid "A list of channels to communicate with GNU Guix users\n and developers about anything you want."
+msgid "GNU|Linux|Unix|Free software|Libre software|Operating system|GNU Hurd|GNU Guix package manager|Community|Mailing lists|IRC channels|Bug reports|Help"
+msgid "Check all the ways you can contribute to make GNU Guix\n better, and join the world-wide community of volunteers."
+msgid "GNU|Linux|Unix|Free software|Libre software|Operating system|GNU Hurd|GNU Guix package manager|Volunteer|Development|Translation|I18N|L10N|Artwork"
+#: apps/base/templates/contribute.scm:35 apps/base/templates/contribute.scm:110 apps/base/templates/contribute.scm:227
+msgid "GNU Guix is a large project developed\n mostly by volunteers from all around the world. You are welcome\n to join us in the <1>development mailing list</1> or in the <2>#guix channel</2> in IRC Freenode. Tell us how would you like to help, and we\n will do our best to guide you. "
+msgid "We want to provide a warm, friendly, and harassment-free environment,\n so that anyone can contribute to the best of their abilities. To\n this end our project uses a “Contributor Covenant”, which was adapted\n from <1>https://contributor-covenant.org/</1>. You can find the full pledge in the <2>CODE-OF-CONDUCT</2> file."
+msgid "We use <1>Savannah</1> as the central point for development, maintenance and\n distribution of the Guix System Distribution and GNU Guix."
+msgid "The source files for all the components of the project,\n including software, web site, documentation, and artwork, are\n available in <1>Git repositories</1> at Savannah. "
+msgid "We are always looking for artists to help us design and\n improve user interfaces, and create multimedia material for\n documentation, presentations, and promotional items. "