DotNet.Contracts hard to find

[NickStrupat]

Hi pals,

I'm wondering if the DotNet.Contracts package can be renamed to Microsoft.CodeContracts, or at least have tags added ("microsoft", "contracts", "codecontracts", etc.).

When I search "microsoft contracts" it's not even on the first hundred or so of the results.

[hickford]

https://www.nuget.org/packages/DotNet.Contracts/