Writing Tactics.keep in the new monad.
Cleaning up closed bugs in test-suite.