we took crate.io over in december. some people still haven't updated their links. that's why we keep some subdomains and redirects up and running (https://crate

we took crate.io over in december. some people still haven't updated their links. that's why we keep some subdomains and redirects up and running (https://crate.io/thanks-dstufft https://crate.io/thanks-dstufft)