I made the 'Mike' bot. I will not be fixing the Mike bot, because it was supposed to be a joke bot (made in 2022). I might make a legitimate Mike bot at some point. Probably won't though.