diff --git a/download.html b/download.html
deleted file mode 100644
index 5da03ea53..000000000
--- a/download.html
+++ /dev/null
@@ -1,54 +0,0 @@
-<html>
-<body>
-
-GF Version 2.8, released 8 July 2007; updated 12 September.
-<ul>
-<li> <a href="download/GF-2.8.tgz"><tt>GF-2.8.tgz</tt></a>, 
-Haskell and Java sources, grammar library sources, examples, documentation.
-To compile and install: read <a href="src/INSTALL"><tt>src/INSTALL</tt></a>.
-
-<li> <a href="download/GF-2.8-lib.tgz"><tt>GF-2.8-lib.tgz</tt></a>,
-Compiled grammar libraries</a>. To install: 
-unpack this in the directory pointed by <tt>GF_LIB_PATH</tt>.
-
-<li> <a href="download/GF-2.8-i386-pc-linux-gnu.tgz"><tt>GF-2.8-i386-pc-linux-gnu.tgz</tt></a>,
-Linux binary, with precompiled grammar libraries. To install:
-<pre>
-  tar xvfz GF-2.8-i386-pc-linux-gnu.tgz
-  cd GF-2.8-i386-pc-linux-gnu
-  ./configure
-  make install
-</pre>
-You may need <tt>sudo make install</tt>; if you cannot write in 
-<tt>/usr/local/</tt>, you can change the target directory
-by <tt>./configure --prefix=MYDIR</tt>.
-
-
-<li> <a href="download/GF-2.8-i386-apple-darwin8.9.1.tgz"><tt>GF-2.8-i386-apple-darwin8.9.1.tgz</tt></a>, Mac OS X binary (Intel), with precompiled grammar libraries. Requires Readline from
-<a href="http://www.macports.org/">MacPorts</a>. To install, see above item.
-
-<li> <a href="download/GF-2.8-windows-cygwin.tgz"><tt>GF-2.8-windows-cygwin.tgz</tt></a>, Windows Cygwin binary. Requires 
-<a href="http://www.cygwin.com/">Cygwin</a>. To install, see above item.
-
-</ul>
-The <a href=
-"http://sourceforge.net/project/showfiles.php?group_id=132285">Sourceforge GF site</a> 
-has currently only v 2.7 and older versions.
-
-<p>
-
-Don't forget that you can always get the current sources from the
-<a href="http://www.cs.chalmers.se/Cs/Research/Language-technology/darcs/GF/doc/darcs.html">GF Darcs Repository</a>. First time you do
-<pre>
-  darcs get --partial --set-scripts-executable http://www.cs.chalmers.se/Cs/Research/Language-technology/darcs/GF/
-</pre>
-and subsequent times
-<pre>
-  darcs pull -a
-</pre>
-Then compile and install as described in 
-<a href="src/INSTALL"><tt>GF/src/INSTALL</tt></a>.
-
-
-</body>
-</html>
diff --git a/download/old-index.html b/download/old-index.html
deleted file mode 100644
index 74dabb08c..000000000
--- a/download/old-index.html
+++ /dev/null
@@ -1,146 +0,0 @@
-<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
-<HTML>
-<HEAD>
-<META NAME="generator" CONTENT="http://txt2tags.sf.net">
-<TITLE>Grammatical Framework Download and Installation</TITLE>
-<style>
-h1 { text-align: center; }
-h1,h2,h3 { font-family: sans-serif; }
-ul.downloads a { font-family: monospace; }
-</style>
-</HEAD>
-
-<BODY BGCOLOR="white" TEXT="black">
-<H1>Grammatical Framework<br>Download and Installation</H1>
-
-<H2>Latest developer code</H2>
-<P>
-<A HREF="../doc/gf-developers.html">GF darcs repository</A>
-</P>
-
-<H2>Latest release</h2>
-
-<dl>
-<dt>GF 3.1, 15 December 2009
-<dd>
-<p>
-<ul class=downloads>
-  <li>For Linux (32-bit):
-    <a href="gf-3.1-bin-i486-linux.tar.gz">gf-3.1-bin-i468-linux.tar.gz</a>
-  <li>For Linux (64-bit):
-    <a href="gf-3.1-bin-x86_64-linux.tar.gz">gf-3.1-bin-x86_64-linux.tar.gz</a>
-  <li>For Mac:
-    <a href="gf-3.1-bin-intel-mac.tar.gz">gf-3.1-bin-intel-mac.tar.gz</a>
-    (Leopard &amp; Snow Leopard)
-  <li>For Windows:
-    <a href="gf-3.1-bin-i486-windows.zip">gf-3.1-bin-i486-windows.zip</a>
-  <li>Source package:
-    <a href="gf-3.1-src.tar.gz">gf-3.1-src.tar.gz</a>
-    (a dump of the darcs repo)
-  <li>Libraries: <a href="gf-lib-1.7.tar.gz">gf-lib-1.7.tar.gz</a>
-    (sources, compiled as alltenses/present, docs)
-</ul>
-
-<H3>Installation instructions</H3>
-
-<ul>
-<li>Linux &amp; Mac binaries: <tt>tar xvfz</tt> in /
-<li>Windows binary: unzip in c:\
-<li>Compiled library:
-  <tt>tar xvfz</tt> in some DIR and point the variable GF_LIB_PATH to DIR/lib.
-<li>
-Source package: <tt>tar xvfz</tt> somewhere and compile as follows:
-<P>
-<PRE>
-    tar xvfz gf-3.0.tgz
-    cd gf-3.0
-
-    # alternative 1:
-    runghc Setup configure
-    runghc Setup build
-    runghc Setup install
-
-    # alternative 2:
-    make
-    make install
-</PRE>
-</dl>
-
-<H2>Old releases</H2>
-
-<dl>
-<dt>GF 3.0, 24 June 2009.
-<dd>
-<P>
-<ul>
-<li><A HREF="gf-3.0-mac.gz">Mac OS X Leopard (intel) executable</A> 
-      (requires Readline from <A HREF="http://www.macports.org/">Mac Ports</A>)
-<li><A HREF="gf-3.0-mac-noreadline.gz">Mac OS X Leopard (Intel) executable</A> 
-      (doesn't require Readline)
-<li><A HREF="gf-linux.tar.gz">Linux (intel) binary package</A> 
-<li><A HREF="gf-win32.zip">Windows binary package</A> 
-<li><A HREF="gf-lib-1.6.tgz">Compiled libraries, v. 1.6</A> 
-<li><A HREF="gf-3.0-src.tgz">Source package for GF system (a dump of the darcs repo)</A> 
-</ul>
-
-<H3>Installation instructions</H3>
-
-<p>
-Mac binary: gunzip and put somewhere on your path.
-<P>
-Linux: <tt>tar xvfz</tt> in /
-<P>
-Windows: unzip in c:\
-<p>
-Compiled library: <tt>tar xvfz</tt> in some DIR and point the variable GF_LIB_PATH to DIR/lib.
-<p>
-Source package: <tt>tar xvfz</tt> somewhere and compile as follows:
-<P>
-<PRE>
-    tar xvfz gf-3.0.tgz
-    cd gf-3.0
-
-    # alternative 1:
-    runghc Setup configure
-    runghc Setup build
-    runghc Setup install
-
-    # alternative 2:
-    make
-    make install
-</PRE>
-</dl>
-
-
-GF 3.0 beta3, April 2009.
-<UL>
-<LI>
-  <A HREF="GF-3.0-beta3-i386-apple-darwin9.6.0.tgz">Mac OS X Leopard (intel) binary package</A> 
-<LI>
-  <A HREF="gf-3.0-beta3.zip">Windows binary</A> 
-
-<LI><A HREF="GF-3.0-beta3.tgz">GF 3.0 beta3 sources</A> (both system and library)
-</UL>
-3.0 beta2
-<UL>
-<LI><A HREF="GF-3.0-beta2-i686-pc-linux-gnu.tgz">GF 3.0 beta2 Linux binary package</A> (Intel, Ubuntu)
-<P></P>
-<LI>GF 3.0 beta2 MacOS X binary package: 
-  <A HREF="GF-3.0-beta2-i386-apple-darwin9.4.0.tgz">Leopard</A> (Intel Mac with MacOS X Leopard)
-  <A HREF="GF-3.0-beta2-i386-apple-darwin8.11.1.tgz">Tiger</A> (Intel Mac with MacOS X Tiger)
-<P></P>
-<LI><A HREF="gf-3.0-beta2.zip">GF 3.0 beta2 Windows package</A> (includes libraries)
-<P></P>
-<LI><A HREF="GF-3.0-beta2.tgz">GF 3.0 beta2 sources</A> (both system and library)
-<P></P>
-<LI><A HREF="gf-lib-1.4.tgz">GF libraries v 1.4</A> (compiled resource grammar libraries)
-</UL>
-<!--
-<UL>
-<LI><A HREF="../../GF2/download/index.html">GF 2.9 download page</A>
-</UL>
--->
-
-<!-- html code generated by txt2tags 2.4 (http://txt2tags.sf.net) -->
-<!-- cmdline: txt2tags -thtml index.txt -->
-</BODY></HTML>
diff --git a/examples/READ_ME b/examples/README.md
similarity index 93%
rename from examples/READ_ME
rename to examples/README.md
index 1c86317fa..e073602ab 100644
--- a/examples/READ_ME
+++ b/examples/README.md
@@ -1,3 +1,5 @@
+# `/examples`
+
 All contributions (`contrib` and `examples` folders) have now been
 moved to a separate git repository at:
 
@@ -10,5 +12,5 @@ have some toy grammars to play with.
 Any updates to these grammars should be made at the gf-contrib repository
 above; changes will be copied from there to here manually.
 
-John J. Camilleri
+John J. Camilleri,
 2013-09-16
