Sergey Aleynikov, an ex-Goldman-Sachs programmer, spent a year in prison for downloading source code of the firm’s high-speed trading software before his sentence was overturned in February. Today the court explained why — downloading computer code doesn’t constitute stealing under the US National Stolen Property Act.