The ``PushableLogger`` is now not referenced anywhere. Should we be using it, or should we delete it?