en/glep/glep-0057.html

<?xml version="1.0" encoding="utf-8" ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">

<head>
  <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
  <meta name="generator" content="Docutils 0.6: http://docutils.sourceforge.net/" />
  <title>GLEP 57 -- Security of distribution of Gentoo software - Overview</title>
  <link rel="stylesheet" href="tools/glep.css" type="text/css" /></head>
<body bgcolor="white">
<table class="navigation" cellpadding="0" cellspacing="0"
       width="100%" border="0">
<tr><td class="navicon" width="150" height="35">
<a href="http://www.gentoo.org/" title="Gentoo Linux Home Page">
<img src="http://www.gentoo.org/images/gentoo-new.gif" alt="[Gentoo]"
 border="0" width="150" height="35" /></a></td>
<td class="textlinks" align="left">
[<b><a href="http://www.gentoo.org/">Gentoo Linux Home</a></b>]
[<b><a href="http://www.gentoo.org/proj/en/glep">GLEP Index</a></b>]
[<b><a href="http://www.gentoo.org/proj/en/glep/glep-0057.txt">GLEP Source</a></b>]
</td></tr></table>
<table class="rfc2822 docutils field-list" frame="void" rules="none">
<col class="field-name" />
<col class="field-body" />
<tbody valign="top">
<tr class="field"><th class="field-name">GLEP:</th><td class="field-body">57</td>
</tr>
<tr class="field"><th class="field-name">Title:</th><td class="field-body">Security of distribution of Gentoo software - Overview</td>
</tr>
<tr class="field"><th class="field-name">Version:</th><td class="field-body">1.4</td>
</tr>
<tr class="field"><th class="field-name">Last-Modified:</th><td class="field-body"><a class="reference external" href="http://www.gentoo.org/cgi-bin/viewcvs.cgi/xml/htdocs/proj/en/glep/glep-0057.txt?cvsroot=gentoo">2010/01/29 09:04:17</a></td>
</tr>
<tr class="field"><th class="field-name">Author:</th><td class="field-body">Robin Hugh Johnson &lt;robbat2&#32;&#97;t&#32;gentoo.org&gt;</td>
</tr>
<tr class="field"><th class="field-name">Status:</th><td class="field-body">Final</td>
</tr>
<tr class="field"><th class="field-name">Type:</th><td class="field-body">Informational</td>
</tr>
<tr class="field"><th class="field-name">Content-Type:</th><td class="field-body"><a class="reference external" href="glep-0002.html">text/x-rst</a></td>
</tr>
<tr class="field"><th class="field-name">Created:</th><td class="field-body">November 2005</td>
</tr>
<tr class="field"><th class="field-name">Updated:</th><td class="field-body">May 2006, October 2006, November 2007, June 2008, July 2008, October 2008, January 2010</td>
</tr>
<tr class="field"><th class="field-name">Post-History:</th><td class="field-body">December 2009</td>
</tr>
<tr class="field"><th class="field-name">Approved:</th><td class="field-body">18 January 2010</td>
</tr>
</tbody>
</table>
<hr />
<div class="contents topic" id="contents">
<p class="topic-title first">Contents</p>
<ul class="simple">
<li><a class="reference internal" href="#abstract" id="id1">Abstract</a></li>
<li><a class="reference internal" href="#motivation" id="id2">Motivation</a></li>
<li><a class="reference internal" href="#specification" id="id3">Specification</a><ul>
<li><a class="reference internal" href="#system-elements" id="id4">System Elements</a></li>
<li><a class="reference internal" href="#processes" id="id5">Processes</a></li>
<li><a class="reference internal" href="#attacks-against-processes" id="id6">Attacks against Processes</a></li>
<li><a class="reference internal" href="#security-for-processes" id="id7">Security for Processes</a></li>
</ul>
</li>
<li><a class="reference internal" href="#backwards-compatibility" id="id8">Backwards Compatibility</a></li>
<li><a class="reference internal" href="#endnote-history-of-tree-signing-in-gentoo" id="id9">Endnote: History of tree-signing in Gentoo</a></li>
<li><a class="reference internal" href="#thanks" id="id10">Thanks</a></li>
<li><a class="reference internal" href="#references" id="id11">References</a></li>
<li><a class="reference internal" href="#copyright" id="id12">Copyright</a></li>
</ul>
</div>
<div class="section" id="abstract">
<h1><a class="toc-backref" href="#id1">Abstract</a></h1>
<p>This is the first in a series of 4 GLEPs. It aims to define the actors
and problems in the Gentoo software distribution process, with a strong
emphasis on security. The concepts thus developed, will then be used in
the following GLEPs to describe a comprehensive security solution for
this distribution process that prevents trivial attacks and increases
the difficulty on more complex attacks.</p>
</div>
<div class="section" id="motivation">
<h1><a class="toc-backref" href="#id2">Motivation</a></h1>
<p>Since at mid-2002 (see endnote: &quot;History of tree-signing in Gentoo&quot;),
many discussions have taken place on the gentoo-dev mailing list and in
many other places to design and implement a security strategy for the
distribution of files by the Gentoo project.</p>
<p>Usually the goal of such proposals was and is to be able to securely
identify the data provided by Gentoo and prevent third parties (like a
compromised mirror) from delivering harmful data (be it as modified
ebuilds, executable shell code or any other form) to the users of the
Gentoo MetaDistribution.</p>
<p>These strategies can neither prevent a malicious or compromised upstream
from injecting &quot;bad&quot; programs, nor can they stop a rogue developer from
committing malicious ebuilds. What they can do is to reduce the attack
vectors so that for example a compromised mirror will be detected and no
tainted data will be executed on user's systems.</p>
<p>Gentoo's software distribution system as it presently stands, contains a
number of security shortcomings. The last discussion on the gentoo-dev
mailing list [<a class="reference external" href="http://thread.gmane.org/gmane.linux.gentoo.devel/38363">http://thread.gmane.org/gmane.linux.gentoo.devel/38363</a>]
contains a good overview of most of the issues. Summarized here:</p>
<blockquote>
<ul class="simple">
<li>Unverifiable executable code distributed:
The most obvious instance are eclasses, but there are many other bits
of the tree that are not signed at all right now. Modifying that data
is trivial.</li>
<li>Shortcomings of existing Manifest verification
A lack and enforcement of policies, combined with suboptimal support
in portage, makes it trivial to modify or replace the existing
Manifests.</li>
<li>Vulnerability of existing infrastructure to attacks.
The previous two items make it possible for a skilled attacker to
design an attack and then execute it against specific portions of
existing infrastructure (e.g.: Compromise a country-local rsync
mirror, and totally replace a package and it's Manifest).</li>
</ul>
</blockquote>
</div>
<div class="section" id="specification">
<h1><a class="toc-backref" href="#id3">Specification</a></h1>
<p>Security is not something that can be considered in isolation. It is
both an ongoing holistic process and lessons learnt by examining
previous shortcomings.</p>
<div class="section" id="system-elements">
<h2><a class="toc-backref" href="#id4">System Elements</a></h2>
<dl class="docutils">
<dt>There are a few entities to be considered:</dt>
<dd><ul class="first last simple">
<li>Upstream. The people who provide the program(s) or data we wish to
distribute.</li>
<li>Gentoo Developers. The people that package and test the things
provided by Upstream.</li>
<li>Gentoo Infrastructure. The people and hardware that allow the revision
control of metadata and distribution of the data and metadata provided
by Developers and Upstream.</li>
<li>Gentoo Mirrors. Hardware provided by external contributors that is not
or only marginally controlled by Gentoo Infrastructure. Needed to
achieve the scalability and performance needed for the substantial
Gentoo user base.</li>
<li>Gentoo Users. The people that use the Gentoo MetaDistribution.</li>
</ul>
</dd>
</dl>
<p>The data described here is usually programs and data files provided by
upstream; as this is a rather large amount of data it is usually
distributed over http or ftp from Gentoo Mirrors. This data is usually
labeled as &quot;distfiles&quot;. Metadata is all information describing how to
manipulate that data - it is usually called &quot;The Tree&quot; or &quot;The Portage
Tree&quot;, consists of many ebuilds, eclasses and supporting files and is
usually distributed over rsync. The central rsync servers are controlled
by Gentoo Infrastructure, but many third-party rsync mirrors exist that
help to reduce the load on those central servers. These extra mirrors
are not maintained by Gentoo Infrastructure.</p>
<p>Attacks may be conducted against any of these entities. Obviously
direct attacks against Upstream and Users are outside of the scope of
this series of GLEPs as they are not in any way controlled or
controllable by Gentoo - however attacks using Gentoo as a conduit
(including malicious mirrors) must be considered.</p>
</div>
<div class="section" id="processes">
<h2><a class="toc-backref" href="#id5">Processes</a></h2>
<p>There are two major processes in the distribution of Gentoo, where
security needs to be implemented:</p>
<blockquote>
<ul class="simple">
<li>Developer commits to version control systems controlled by
Infrastructure.</li>
<li>Tree and distfile distribution from Infrastructure to Users, via the
mirrors (this includes both HTTP and rsync distribution).</li>
</ul>
</blockquote>
<p>Both processes need their security improved. In [#GLEPxx+2] we will discuss
how to improve the security of the first process. The relatively
speaking simpler process of file distribution will be described in
[#GLEP58]. Since it can be implemented without having to change the
workflow and behaviour of developers we hope to get it done in a
reasonably short timeframe.</p>
</div>
<div class="section" id="attacks-against-processes">
<h2><a class="toc-backref" href="#id6">Attacks against Processes</a></h2>
<p>Attacks against the process #1 may be as complex as a malicious or
compromised developer (stolen SSH keys, rooted systems), or as simple as
a patch from a user that does a little more than it claims, and is not
adequately reviewed.</p>
<p>Attacks against the process #2 may be as simple as a single rooted
mirror, distributing a modified tree to the users of that mirror - or
some alteration of upstream sources. These attacks have a low cost and
are very hard to discover unless all distributed data is transparently
signed.</p>
<p>A simple example of such an attack and a partial solution for eclasses
is presented in [ <a class="reference external" href="http://thread.gmane.org/gmane.linux.gentoo.devel/24677">http://thread.gmane.org/gmane.linux.gentoo.devel/24677</a>
]. It shows quite well that any non-Gentoo controlled rsync mirror can
modify executable code; as much of this code is per default run as root
a malicious mirror could compromise hundreds of systems per day - if
cloaked well enough, such an attack could run for weeks before being
noticed. As there are no effective safeguards right now users are left
with the choice of either syncing from the sometimes slow or even
unresponsive Gentoo-controlled rsync mirrors or risk being compromised
by syncing from one of the community-provided mirrors. We will show that
protection against this class of attacks is very easy to implement with
little added cost.</p>
<p>At the level of mirrors, addition of malicious content is not the only
attack. As discussed by Cappos et al [C08a,C08b], an attacker may use
exclusion and replay attacks, possibly only on a specific subset of
user to extend the window of opportunity on another exploit.</p>
</div>
<div class="section" id="security-for-processes">
<h2><a class="toc-backref" href="#id7">Security for Processes</a></h2>
<p>Protection for process #1 can never be complete (without major
modifications to our development process), as a malicious developer is
fully authorized to provide materials for distribution. Partial
protection can be gained by Portage and Infrastructure changes, but the
real improvements needed are developer education and continued
vigilance. This is further discussed in [#GLEPxx+2].</p>
<p>This security is still limited in scope - protection against compromised
developers is very expensive, and even complex systems like peer review
/ multiple signatures can be broken by colluding developers. There are many
issues, be it social or technical, that increase the cost of such
measures a lot while only providing marginal security gains. Any
implementation proposal must be carefully analysed to find the best
security to developer hassle ratio.</p>
<p>Protection for process #2 is a different matter entirely. While it also
cannot be complete (as the User may be attacked directly), we can ensure
that Gentoo infrastructure and the mirrors are not a weak point. This
objective is actually much closer than it seems already - most of the
work has been completed for other things!. This is further discussed in
[#GLEP58]. As this process has the most to gain in security, and the
most immediate impact, it should be implemented before or at the same
time as any changes to process #1. Security at this layer is already
available in the signed daily snapshots, but we can extend it to cover
the rsync mirrors as well.</p>
<p>Requirements pertaining to and management of keys (OpenPGP or otherwise)
is an issue that affects both processes, and is broken out into a
separate GLEP due to the technical complexity of the subject.
This deals with everything including: types of keys to use; usage
guidelines; procedures for managing signatures and trust for keys,
including cases of lost (destroyed) and stolen (or otherwise turned
malicious) keys.</p>
</div>
</div>
<div class="section" id="backwards-compatibility">
<h1><a class="toc-backref" href="#id8">Backwards Compatibility</a></h1>
<p>As an informational GLEP, this document has no direct impact on
backwards compatibility. However the related in-depth documents may
delve further into any issues of backwards compatibility.</p>
</div>
<div class="section" id="endnote-history-of-tree-signing-in-gentoo">
<h1><a class="toc-backref" href="#id9">Endnote: History of tree-signing in Gentoo</a></h1>
<p>This is a brief review of every previous tree-signing discussion, the
stuff before 2003-04-03 was very hard to come by, so I apologize if I've
missed a discussion (I would like to hear about it). I think there was
a very early private discussion with drobbins in 2001, as it's vaguely
referenced, but I can't find it anywhere.</p>
<p>2002-06-06, gentoo-dev mailing list, users first ask about signing of
ebuilds:
[ <a class="reference external" href="http://thread.gmane.org/gmane.linux.gentoo.devel/1950">http://thread.gmane.org/gmane.linux.gentoo.devel/1950</a> ]</p>
<p>2003-01-13, gentoo-dev mailing list, &quot;Re: Verifying portage is from
Gentoo&quot; - Paul de Vrieze (pauldv):
[ <a class="reference external" href="http://thread.gmane.org/gmane.linux.gentoo.devel/6619/focus=6619">http://thread.gmane.org/gmane.linux.gentoo.devel/6619/focus=6619</a> ]</p>
<p>2003-04, GWN articles announcing tree signing:
[ <a class="reference external" href="http://www.gentoo.org/news/en/gwn/20030407-newsletter.xml#doc_chap1_sect3">http://www.gentoo.org/news/en/gwn/20030407-newsletter.xml#doc_chap1_sect3</a> ]
[ <a class="reference external" href="http://www.gentoo.org/news/en/gwn/20030421-newsletter.xml#doc_chap1_sect2">http://www.gentoo.org/news/en/gwn/20030421-newsletter.xml#doc_chap1_sect2</a> ]</p>
<p>2003-04, gentoo-security mailing list, &quot;The state of ebuild signing
in portage&quot; - Joshua Brindle (method), the first suggestion of signed Manifests,
but also an unusual key-trust model:
[ <a class="reference external" href="http://marc.theaimsgroup.com/?l=gentoo-security&amp;m=105073449619892&amp;w=2">http://marc.theaimsgroup.com/?l=gentoo-security&amp;m=105073449619892&amp;w=2</a> ]</p>
<p>2003-04, gentoo-core mailing list, &quot;New Digests and Signing -- Attempted Explanation&quot;</p>
<p>2003-06, gentoo-core mailing list, &quot;A quick guide to GPG and key
signing.&quot; - This overview was one of the first to help developers see
how to use their devs, and was mainly intended for keysigning meetups.</p>
<p>2003-08-09, gentoo-core mailing list, &quot;Ebuild signing&quot; - status query,
with an not very positive response, delayed by Nick Jones (carpaski)
getting rooted and a safe cleanup taking a long time to affect.</p>
<p>2003-12-02, gentoo-core mailing list, &quot;Report: rsync1.it.gentoo.org compromised&quot;</p>
<p>2003-12-03, gentoo-core mailing list, &quot;Signing of ebuilds&quot;</p>
<p>2003-12-07, gentoo-core mailing list, &quot;gpg signing of Manifests&quot;, thread
includes the first GnuPG signing prototype code, by Robin H. Johnson
(robbat2). Andrew Cowie (rac) also produces a proof-of-concept around
this time.</p>
<p>2004-03-23, gentoo-dev mailing list, &quot;2004.1 will not include a secure
portage&quot; - Kurt Lieber (klieber). Signing is nowhere near ready for
2004.1 release, and it is realized that it there is insufficient traction
and the problem is very large. Many arguments about the checking and
verification side. First warning signs that MD5 might be broken in the
near future.
[ <a class="reference external" href="http://thread.gmane.org/gmane.linux.gentoo.devel/16876">http://thread.gmane.org/gmane.linux.gentoo.devel/16876</a> ]</p>
<p>2004-03-25, gentoo-dev mailing list, &quot;Redux: 2004.1 will not include a
secure portage&quot; - Robin H. Johnson (robbat2). Yet another proposal,
summarizing the points of the previous thread and this time trying to
track the various weaknesses.
<a class="reference external" href="http://marc.theaimsgroup.com/?l=gentoo-dev&amp;m=108017986400698&amp;w=2">http://marc.theaimsgroup.com/?l=gentoo-dev&amp;m=108017986400698&amp;w=2</a></p>
<p>2004-05-31, Gentoo managers meeting, portage team reports that
FEATURES=sign is now available, but large questions still exist over
verification policies and procedures, as well as handing of keys.
[ <a class="reference external" href="http://www.gentoo.org/proj/en/devrel/manager-meetings/logs/2004/20040531.txt">http://www.gentoo.org/proj/en/devrel/manager-meetings/logs/2004/20040531.txt</a> ]</p>
<p>2005-01-17, gentoo-core mailing list, &quot;Global objective for 2005 :
portage signing&quot;. Thierry Carrez (koon) suggests that more go into
tree-signing work. Problems at the time later in the thread show that
the upstream gpg-agent is not ready, amongst other minor implementation
issues.</p>
<p>2005-02-20, gentoo-dev mailing list, &quot;post-LWE 2005&quot; - Brian Harring
(ferringb). A discussion on the ongoing lack of signing, and that
eclasses and profiles need to be signed as well, but this seems to be
hanging on GLEP33 in the meantime.
[ <a class="reference external" href="http://thread.gmane.org/gmane.linux.gentoo.devel/25556/focus=25596">http://thread.gmane.org/gmane.linux.gentoo.devel/25556/focus=25596</a> ]</p>
<p>2005-03-08, gentoo-core mailing list, &quot;gpg manifest signing stats&quot;.
Informal statistics show that 26% of packages in the tree include a
signed Manifest. Questions are raised regarding key types, and key
policies.</p>
<p>2005-11-16, gentoo-core mailing list, &quot;Gentoo key signing practices and
official Gentoo keyring&quot;. A discussion of key handling and other
outstanding issues, also mentioning partial Manifests, as well as a
comparision between the signing procedures used in Slackware, Debian and
RPM-based distros.</p>
<p>2005-11-19, gentoo-portage-dev mailing list, &quot;Manifest signing&quot; - Robin
H. Johnson (robbat2) follows up the previous -core posting, discussion
implementation issues.
[ <a class="reference external" href="http://thread.gmane.org/gmane.linux.gentoo.portage.devel/1401">http://thread.gmane.org/gmane.linux.gentoo.portage.devel/1401</a> ]</p>
<p>2006-05-18, gentoo-dev mailing list, &quot;Signing everything, for fun and for
profit&quot; - Patrick Lauer (bonsaikitten). Later brings up that Manifest2 is needed for
getting everything right.
[ <a class="reference external" href="http://thread.gmane.org/gmane.linux.gentoo.devel/38363">http://thread.gmane.org/gmane.linux.gentoo.devel/38363</a> ]</p>
<p>2006-05-19, gentoo-dev mailing list, &quot;Re: Signing everything, for fun and for
profit&quot; - Robin H. Johnson (robbat2). An introduction into some of the
OpenPGP standard, with a focus on how it affects file signing, key
signing, management of keys, and revocation.
[ <a class="reference external" href="http://thread.gmane.org/gmane.linux.gentoo.devel/38363/focus=38371">http://thread.gmane.org/gmane.linux.gentoo.devel/38363/focus=38371</a> ]</p>
<p>2007-04-11, gentoo-dev mailing list, &quot;Re: <em>DEVELOPMENT</em> mail list,
right?&quot; - Robin H. Johnson (robbat2). A progress report on these very
GLEPs.
[ <a class="reference external" href="http://thread.gmane.org/gmane.linux.gentoo.devel/47752/focus=47908">http://thread.gmane.org/gmane.linux.gentoo.devel/47752/focus=47908</a> ]</p>
<p>2007-07-02, gentoo-dev mailing list, &quot;Re: Re: Nominations open for the
Gentoo Council 2007/08&quot; - Robin H. Johnson (robbat2). Another progress
report.
[ <a class="reference external" href="http://thread.gmane.org/gmane.linux.gentoo.devel/50029/focus=50043">http://thread.gmane.org/gmane.linux.gentoo.devel/50029/focus=50043</a> ]</p>
<p>2007-11-30, portage-dev alias, &quot;Manifest2 and Tree-signing&quot; - Robin H.
Johnson (robbat2). First review thread for these GLEPs, many suggestions
from Marius Mauch (genone).</p>
<p>2008-04-03, gentoo-dev mailing list, &quot;Re: Monthly Gentoo Council
Reminder for April&quot; - Ciaran McCreesh (ciaranm). A thread in which
Ciaran reminds everybody that simply making all the developers sign the
tree is not sufficient to prevent all attacks.
[ <a class="reference external" href="http://thread.gmane.org/gmane.linux.gentoo.devel/55508/focus=55542">http://thread.gmane.org/gmane.linux.gentoo.devel/55508/focus=55542</a> ]</p>
<p>2008-07-01, gentoo-portage-dev mailing list, &quot;proto-GLEPS for
Tree-signing&quot; - Robin H. Johnson (robbat2). Thread looking for review
input from Portage developers.
[ <a class="reference external" href="http://thread.gmane.org/gmane.linux.gentoo.portage.devel/2686">http://thread.gmane.org/gmane.linux.gentoo.portage.devel/2686</a> ]</p>
<p>2008-07-12, gentoo-portage-dev mailing list, &quot;proto-GLEPS for
Tree-signing, take 2&quot; - Robin H. Johnson (robbat2). Integration of
changes from previous review, and a prototype for the signing code.
zmedico also posts a patch for a verification prototype.
[ <a class="reference external" href="http://thread.gmane.org/gmane.linux.gentoo.portage.devel/2709">http://thread.gmane.org/gmane.linux.gentoo.portage.devel/2709</a> ]</p>
</div>
<div class="section" id="thanks">
<h1><a class="toc-backref" href="#id10">Thanks</a></h1>
<p>I'd like to thank Patrick Lauer (bonsaikitten) for prodding me
to keep working on the tree-signing project, as well helping with
spelling, grammar, research (esp. tracking down every possible
vulnerability that has been mentioned in past discussions, and
integrating them in this overview).</p>
</div>
<div class="section" id="references">
<h1><a class="toc-backref" href="#id11">References</a></h1>
<dl class="docutils">
<dt>[C08a] Cappos, J et al. (2008). &quot;Package Management Security&quot;.</dt>
<dd>University of Arizona Technical Report TR08-02. Available online
from: <a class="reference external" href="ftp://ftp.cs.arizona.edu/reports/2008/TR08-02.pdf">ftp://ftp.cs.arizona.edu/reports/2008/TR08-02.pdf</a></dd>
<dt>[C08b] Cappos, J et al. (2008). &quot;Attacks on Package Managers&quot;</dt>
<dd>Available online at:
<a class="reference external" href="http://www.cs.arizona.edu/people/justin/packagemanagersecurity/">http://www.cs.arizona.edu/people/justin/packagemanagersecurity/</a></dd>
</dl>
<div class="system-message">
<p class="system-message-title">System Message: WARNING/2 (<tt class="docutils">glep-0057.txt</tt>, line 340)</p>
Definition list ends without a blank line; unexpected unindent.</div>
<p>[#GLEPxx+2] Future GLEP on Developer Process security.
[#GLEPxx+3] Future GLEP on GnuPG Policies and Handling.</p>
</div>
<div class="section" id="copyright">
<h1><a class="toc-backref" href="#id12">Copyright</a></h1>
<p>Copyright (c) 2005-2010 by Robin Hugh Johnson. This material may be
distributed only subject to the terms and conditions set forth in the
Open Publication License, v1.0.</p>
<p>vim: tw=72 ts=2 expandtab:</p>
</div>

</div>
<div class="footer">
<hr class="footer" />
<a class="reference external" href="glep-0057.txt">View document source</a>.
Generated on: 2010-02-07 16:18 UTC.
Generated by <a class="reference external" href="http://docutils.sourceforge.net/">Docutils</a> from <a class="reference external" href="http://docutils.sourceforge.net/rst.html">reStructuredText</a> source.

</div>
</body>
</html>