That is because Mr. Musk’s group had briefly embedded the federal identification numbers of these grants in the publicly available source code. … Mr. Musk’s group later removed those ...