1 2018-04-10 04:20:03 <ProfMac> I'm reading DisconnectBlock and trying to understand whether the tip of the disconnected chain is saved somewhere.  The answer has not come into focus yet.