Change 26388

C. Thomas Tyler
Regenerated README.html from README.md using
https://markdowntohtml.com/

The generated README.html is now much smaller than the previous
one, which was created using the "Export as HTML" function of the
MWeb Markdown editor utility.
1 edited 0 added 0 deleted
Tip: Use n and p to cycle through the changes.