Yeah, probably wouldn't hurt to steer more Mac users to source. From the Download page, it seems Mac users should download the Mac package.
If you use version control (if you don't, you should!) it's even better to clone it from Google code. Then you can easily control your web2py version.
