Variable name.
Do not abort if there are default premises.
Ignore Emacs turds.
Indicate which test suite is running when.
Found the bug again, a year later.  Write it down this time.