"After we determine an account is spam, malicious automation, or fake, we stop counting it in our mDAU"

The mDAU exclusion includes such accounts already. I think people (and Elon) use the term bot rather colloquially, so I don't think it's an important distinction anyway.