Web: Download: remove TODO and amend comment

 - There are two identical @ref{}s here, one for the image and one
   for the text.  It would have been nice to avoid the duplication
   of the link information but using a single @ref{} results in
   the image being underlined.  Decided it was better to retain the
   duplication.

diff --git a/Documentation/web/download.itexi b/Documentation/web/download.itexi
index c9af00daed70aed4a58e297f8123870697b8e05d..929b4cd97e564bd7ec9f5746a50ff0649a5f53a3 100644 (file)
--- a/Documentation/web/download.itexi
+++ b/Documentation/web/download.itexi
@@ -42,7 +42,7 @@ our @ref{Text input}.}
 @itemize
 
 @item
-@c TODO: duplicate to avoid underlined refs in HTML?  icky.
+@c ref is duplicated to avoid underlining ref as image.
 @ref{Unix, @sourceimage{logo-linux,,,}
 @sourceimage{logo-freebsd,,,}}
 @ref{Unix, Unix (Linux and FreeBSD)}