They're Cherry ML switches. More info can be found on the
DT Wiki and other thoughts and discussions can be found
here and
here.
I liked that board. I owned one; it's a G84-4100. Same as the eBay listing I linked.
Edit: I got sniped. Sniper no sniping.