You’re right. I was simply mistaken and thought it was published by Microsoft.

		umanwizard on Jan 30, 2022 \| parent \| context \| favorite \| on: Rust extension traits, greppability and IDEs You’re right. I was simply mistaken and thought it was published by Microsoft.