the Targum Yonasan holds that it’s an issur of lo yihyeh kli gever al isha BECAUSE we don’t say ???? ?????? ????
That part, I understand.
and that this is the reason for the man d’amar in the psikta that says that the chachamim protested Michal.
That part, I have difficulty with, since Tosafos and others learn it’s because of guf naki. Why should R’ Chaim have a tzorich iyun on the Rema for paskening like Tosafos and the Kol Bo as explained by the Bais Yosef?