Well, then I suppose updating may be broken in that case. I have a version from Nov. 26th installed, and it won’t auto-update, and there’s no option to manually update, either.
I suppose I’ll delete and redownload entirely, since that seems to be my only option.
FWIW, I installed this version about an hour before it says version 4 was put out (03:32 installed vs 04:40 updated), so I should definitely be on the older version.