Scroll down to the bottom of the article, there’s an 18th-century recipe for “mushroom ketchup.” (Along with a video on how to make it: https://www.youtube.com/watch?v=29u_FejNuks)

Be interesting to see how close it is to your wife’s modern version!