A related video on the topic that I found pretty interesting:
https://www.youtube.com/watch?v=iWlqxGQXZx8
It goes over an older Ketchup recipe and gives some related history. If you like historical food recipes and/or culinary history, you might want to check the channel out.