BTW, I tried downloading this but it didn't have a file extension. I suppose I could have figured it out by looking at the internals, but I wasn't sure if it was a pkg or an app or what.