Fixes PR13750
Cue user about unexpanded type aliases

This tells the user that more type aliases are
available for expansion. For example, (Listof Number)
has the alias Number still unexpanded into the union
that it represents.
Expend printing fuel in all branches

This makes (:type (Number -> Integer)) produce
(Number -> Integer) instead of expanding at the first name.
Combined with expansion cues, this makes it easier for users
to expand the relevant parts of types.
Fix alarm-evt doc typo
remove now-redundant tests
Re-enable redex's overlapping arrows src loc information

This reverts commit e5a84eff8d3a14776e10defebca93b56cc2ccb50.
and also uses the property 'original-for-check-syntax
indent
Use random for changes
Don't check name if not given
Document :type better
Update the instructions on configuring git's push.default.
Misc improvements to `net/uri-codec'.

Fix a bug in encoding strings with characters between 128 and 256, avoid
extra bindings for conversion vectors; remove calling `noels-tests' from
`main' since it's already called from `tests', etc.
Protect strings from regexps.

Fixes PR13768.
Typo in error.

Fixes PR13769.
add boolean to the set of things that redex's random generator
will generate for the any pattern
correct augment/override confusion in docs
updated mitpress links
Fix minor doc typo for threads
fix and export in-dict sequence syntax
  closes PR 13772

Also add syntax for in-dict-{keys,values}.
fix `tcp-listen' error-message construction