<p>I've no idea how I missed this, but it's definitely not needed any more.</p>

<hr>

<h4>You can merge this Pull Request by running</h4>
<pre>  git pull https://github.com/gravitystorm/openstreetmap-website old_docs</pre>
<p>Or view, comment on, or merge it at:</p>
<p>  <a href='https://github.com/openstreetmap/openstreetmap-website/pull/767'>https://github.com/openstreetmap/openstreetmap-website/pull/767</a></p>

<h4>Commit Summary</h4>
<ul>
  <li>Remove ancient documentation.</li>
</ul>

<h4>File Changes</h4>
<ul>
  <li>
    <strong>D</strong>
    <a href="https://github.com/openstreetmap/openstreetmap-website/pull/767/files#diff-0">doc/README_FOR_APP</a>
    (45)
  </li>
</ul>

<h4>Patch Links:</h4>
<ul>
  <li><a href='https://github.com/openstreetmap/openstreetmap-website/pull/767.patch'>https://github.com/openstreetmap/openstreetmap-website/pull/767.patch</a></li>
  <li><a href='https://github.com/openstreetmap/openstreetmap-website/pull/767.diff'>https://github.com/openstreetmap/openstreetmap-website/pull/767.diff</a></li>
</ul>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br>Reply to this email directly or <a href="https://github.com/openstreetmap/openstreetmap-website/pull/767">view it on GitHub</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/1419053__eyJzY29wZSI6Ik5ld3NpZXM6QmVhY29uIiwiZXhwaXJlcyI6MTcxODgwNTYwOCwiZGF0YSI6eyJpZCI6MzUwNTk0MjF9fQ==--d9c85730b6ab4a1fe698bb60e1b12408f1e872bf.gif" width="1" /></p>