3.0 core libraries proof

Another set of proofing changes. I'll go through the rest of `/core-libraries` next.
Nitpicking: We normally have a space after //