Too bad the download links aren't working anymore.<p>E.g. grep.zip: <a href="http://129.105.116.5/fravia/zipped/grep.zip" rel="nofollow noreferrer">http://129.105.116.5/fravia/zipped/grep.zip</a>
A relic of a more civilized age, when honest search engines instead of ad providers and actual content instead of automatically managed garbage enabled me to be good at web searching. I even wrote to Fravia once.<p>Look at the WWW future we lost, and despair.