If it is the fem of
Michael perhaps that should be added to this website? However, I do wonder if people don't just assume
Michal to be a fem version of
Michael since they look similar. I'm just leery of the connection because both the sites you noted are not known for their accuracy (though I did read on the other board that an Israeli woman told you the same thing). There's some regular posters on here who are fairly knowledgeable in Hebrew names so hopefully they'll reply :)