#121 wrong icon on webpage

[Anonymous]

the propser.sourceforge.net page shows a pdf icon in
the examples section for a file that in reality is a
.gz file and can not be opened with adobe acrobat