Link to documentation is broken.

[toh-ableton]

The main README.md states:

Documentation and other information can be found at the C-Reduce web page

This page contains the following text, none of which is related to creduce:

Try one of the following servers:
School of Computing
SoC Computing Support Help
SoC Webmail
SoC Faculty
SoC Handbook
Archive of Machinima and EAE
Center for Parallel Computing at Utah
Computer Architecture Research
Compiler Technology to Optimize Performance
Data Science
Robot Learning
Teaching Assistants
Visual Perception from a Computer Graphics Perspective

[regehr]

we're aware and working on it, thanks

[sskras]

Last known copy on the Internet Archive:
https://web.archive.org/web/20230530222224/https://embed.cs.utah.edu/creduce/

@regehr, what would be more acceptable: fixing the URL in README or extracting the html-page and importing it into the repo instead?