[Added 32-bit Linux (Fedora) link to the distribution web page.
nordland@csee.ltu.se**20090108123258] {
hunk ./web/download.html 20
-<h4>Linux binary distribution</h4>
+<h4>Linux binary distributions</h4>
hunk ./web/download.html 22
-<a href="timberc-1.0.2-1.x86_64.rpm">openSUSE 10.3 (X86-64)</a>.
+<a href="timberc-1.0.2-1.x86_64.rpm">openSUSE 10.3 (X86-64)</a>.<br>
+<a href="timberc-1.0.2-1.i386.rpm">Fedora 10 (X86-32)</a>.
}