html-factoids.rkt
Show redex progress every 100 tests
Case-insensitive reference link IDs. Fixes #29.