diff --git a/doc/manual/introduction.xml b/doc/manual/introduction.xml
index 21b1df156..e0300dc86 100644
--- a/doc/manual/introduction.xml
+++ b/doc/manual/introduction.xml
@@ -254,33 +254,6 @@ xlink:href="http://nixos.org/">NixOS homepage.
-About us
-
-Nix was originally developed at the Department of Information and
-Computing Sciences, Utrecht University by the TraCE
-project (2003-2008). The project was funded by the Software
-Engineering Research Program Jacquard to improve the
-support for variability in software systems. Further funding was
-provided by the NIRICT LaQuSo Build Farm project. Development is
-currently supported by LogicBlox.
-
-
-
-
-About this manual
-
-This manual tells you how to install and use Nix and how to
-write Nix expressions for software not already in the Nix Packages
-collection. It also discusses some advanced topics, such as setting
-up distributed multi-platform building.
-
-
-
-
LicenseNix is free software; you can redistribute it and/or modify it
@@ -297,41 +270,4 @@ Lesser General Public License for more details.
-More information
-
-Some background information on Nix can be found in a number of
-papers. The ICSE 2004 paper Imposing
-a Memory Management Discipline on Software Deployment
-discusses the hashing mechanism used to ensure reliable dependency
-identification and non-interference between different versions and
-variants of packages. The LISA 2004 paper Nix:
-A Safe and Policy-Free System for Software Deployment
-gives a more general discussion of Nix from a system-administration
-perspective. The CBSE 2005 paper Efficient
-Upgrading in a Purely Functional Component Deployment Model
- is about transparent patch deployment in Nix. The SCM-12
-paper
-Service Configuration Management shows how services (e.g.,
-web servers) can be deployed and managed through Nix. An overview of
-NixOS is given in the JFP article NixOS:
-A Purely Functional Linux Distribution. The Nix homepage
-has an up-to-date
-list of Nix-related papers.
-
-Nix is the subject of Eelco Dolstra’s PhD thesis The
-Purely Functional Software Deployment Model, which
-contains most of the papers listed above.
-
-Nix has a homepage at .
-
-
-
-