[Tails-dev] broken links on download page

Hi,

I found several broken links in the download page
(http://tails.boum.org/download/).

First, in the table on contents, the links under "Verify the ISO image"
doesn't work:

1. Using Linux with Gnome: Ubuntu, Debian, Tails, Fedora, etc.
2. Using Linux with the command line
3. Using other operating systems

There is a second problem in the section [[Using other operating
systems]], the link to "using Linux with the command line" is broken
too.

    For Mac OS X using GPGTools

    After installing GPGTools, you should be able to follow the
    instruction <a href="#verify-the-iso-with-terminal">using Linux with
    the command line</a>. To open the command
    line, navigate to your Applications folder, open Utilities, and
    double click on Terminal.

Cheers,

Alan


--