I think someone made a tool to download a users entire nostr history as a json. Anyone know what im talking about?