Ketchup On Tacos??????

My wife puts ketchup on her tacos & has been doing so for years. Is this standard operating procedure for anyone else here? I use taco sauce myself. What is everyone’s favorite taco condiment?