I should also consider that the user might be trying to download a pirated version, which I can't support. Emphasize legal sources and official channels. Maybe there's confusion with similar names, so I need to clarify if Craftsman is a typo for another program.