Just tried to attach a 7z zipped file to a post and it was rejected because isn't included in the file types that are permitted to be uploaded.
It's free and has become more common than .rar and some of the other file types permitted.
If it's something that takes under two minutes to add, I think it would be worthwhile.
If it's a hassle, no big deal.