If you want to learn more here is a great video with both the history and recipe for mushroom ketchup: https://www.youtube.com/watch?v=29u_FejNuks