Ignore some ignorable stuff.
Various Redex tweaks and cleanups