I should also consider that some users might not know what a 7z file is. So explaining how to extract it and what software is needed (like 7-Zip) could be helpful. But again, not providing the actual file or link.
