While this conversation has generated all kinds of very good (and a lot of tangential) discussion, let’s make this concrete.
Do we have any devs who have a clear vision on where the VS Code extension needs to go, and a proposal for a budget they would need to make it happen? If we have a capable dev and a reasonable budget, that would be a great starting point to find the funds to make it happen.