Cache curation computations
Add :no-tag: search
account management buttons
Adding negated searches
Print a summary of auto installs/updates rather than as we go
slideshow: add "spotlight" support

The spotlight is a replacement for the mouse pointer that
is bigger while obscuring less (which works better for
screencasts, for example).
racket/gui: fix `get-plain-label` and docs about labels
Fix inaccuracies and reword #:methods docs
Improve TR assertion error message
Name unnamed repeats in Redex.
Added new languages to test named repeats for Redex.
Simplify Redex enumeration combinator names.
Implement variable-not-otherwise-mentioned pattern for Redex.
Fix indentation
Fix indentation and re-arrange provides
Refactor and add purpose statements
Fix Redex variable-not-otherwise-mentioned bug.

And add a test to keep it from happening again.
add a guard against deserialization failure
Add #:satisfying to redex-check.

This adds the ability to generate terms satisfying
judgment-forms and metafunctions to redex-check.
bring down below 102 columns