HotCRPMailer: Full reset
Dbl: add useful function
Minor refactor