Unfetchable distfiles reminder

[Bill Fenner]

>I just wonder if this list is correct at all now that one of the two 
>randomely chosen ports actually worked. And all I can see is red labeled 
>comments...

If you go to the detail page for the port in question, you will see
that it is labelled "skipped" and the result is in purple, and not
"bad" with the result in red.  The summary page takes a pessimistic
view since it can't know for sure that a port that is "skipped" is
ever fetchable.

  Bill