3.0 core libraries proof

Another set of proofing changes. I'll go through the rest of `/core-libraries` next.
And no alignment.