I'm not sure how to make it a html file. I didn't give a 32bit file because not many people need them anymore and it slipped my mind. Sorry if it was a bit of a hassle for you.
