Mark use_notify as "our" rather than "mine", so themes can actually modify it