debugging output for finalizer-management blindly wrote to stdout, which could interfere with code that uses with-output-to-string, for example.