Please watch out when you downloading the Wallet , This user's password was reset recently and this user recently woke up from a long period of inactivity.
The Account was last time active on May 18, 2018 and there is a big chance that this Account got hacked or changed hands.
The Webpage on his post is also not secured , and the Github repositories was just created 7 hours ago.
It smells all a bit suspicious here after that long break the first post is something with a download file.