[jrmarino]

Oh, I see the downloads page was updated yesterday with version 5.1. It wasn't there in the morning.

That was my confusion -- you were talking about 5.1 when it didn't seem to be generally available!