Are you both suggesting that the core bitcoin development group (who are listed at bitcoin.org) remove the checkbox that blocks SourceForge downloads to sanctioned countries?
Yes. And generally, allow bitcoin.org to be mirrored, or the binaries served up by non-sourceforge hosts (mirrors and bittorrent).