By default, Django expects URLs to end with a "/" but if it
accepts a request without a trailing slash, it will issue a
permanent redirect with the slash appended. While this is great,
it does mean an extra request to the server.
This patch adds a "/" to anchor tags that did not have one
already appended to it, thus helping to save time for a user
browsing .org as well as for the server.
In particular, split up the linux instructions into different pages
for different distributions, since they are very differnt, and in
general try to include more detail.
There are still some OSes that definitely need more info, but this
is more than we had before...
