Anfonwch hwn fel neges destun: Vertical tracer mixing in hot Jupiter atmospheres