Exoplanetology: Exoplanets & Exomoons Planetary Companions Orbiting The M Dwarfs GJ 724 And GJ 3988. A CARMENES And IRD Collaboration Status Report October 10, 2023