Fix and update tools.md by Dmole · Pull Request #2116 · microsoft/language-server-protocol

@microsoft-github-policy-service agree

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I like to have the once separate that are basically not maintained anymore but I am not a fan of separating Proprietary. We don't do that anywhere else. What is the reason behind it?

What is the reason behind [separating proprietary]?

This is GitHub where we share code, there is no code shared from proprietary software.
Reasons for wanting code include;

knowing if the software is abandoned by reviewing last commit date and open issues.
comparing implementation details of an ambiguous or limiting API.
figuring out how to solve a niche issue.
fix a bug.
find a project to contribute a pet feature to.
security research.
etc

I would prefer a not available indication in the repository column than a separate section.

Now without a

separate section