This brings back a lot of memories! This was a great resource - more than 20 years old now which is hard to believe.

Too bad the download links aren't working anymore.

E.g. grep.zip: http://129.105.116.5/fravia/zipped/grep.zip

Wayback Machine has your back:

https://web.archive.org/web/19991128135114/http://129.105.11...

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.

Look at the WWW future we lost, and despair.

I loved Fravias pages and searchlores. Is there anything else like it?

I hadn't noticed that the woodmann.com mirror was gone. Thanks for the new link.

This was my favorite rabbit hole for years!

rip