The reason for the leading // is disambiguation between relative and absolute URLs when hyperlinking within a hierarchical protocol,
for example. Since magnet is not hierarchical, it does not require a leading //. Common, non-hierarchical "Internet schemes" include mailto, data, and sip.