Talk:EE/EET Mod Install Tool/@comment-3234315-20190507090532

So, what might be the correct "official" name of this?
 * The home page is titled "EE/EET Mod Install Tool"
 * It's bookmarked as "EET Install Tool BWS-EE"
 * The GitHub repository names it "EE-Mod-Setup"
 * The PDF, showing a screenshot of the tool in action (I haven't installed or tested it personally), reads "EE Game Setup (Tool)"

I'd like to know this, to give the article the proper name and perhaps for creating needed redirects.