That wallet is good and has been approved as the new "Official Wallet." It has the most up to date binaries in it and can replace your current link.
Done, it replaced the Devcoin Setup Exe Windows32 link. The old Devcoin GUI Windows32 and Devcoind Windows32 links are still there.