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.
Thank you for the heads up. It's always important to be cautious when downloading files from unknown sources, especially when there are red flags such as an inactive account that has recently been reset and a non-secure webpage.