Question in regards to Contributions: "theme" files

[dgb23]

I mentioned in Slack that the tools section could be improved a bit and it was said that pull requests would be welcome.

The structure and navigation of the site seems to be entirely dictated by the theme files. And in the contributions docs it is mentioned that these changes are resolved via issues.

An improvement could look like the following:

1. Adding a VSCode/Calva item under Editors.
2. Changing the Leinigen Plugins Section to a Build Tools section.
3. Listing Leinigen and Shadowcljs under Build Tools.

[puredanger]

If you want to contribute a new page, it's best to do that via a PR here, and then David or I can take care of fixing up the menu appropriately.

[puredanger]

I guess the plugins/build tools stuff are just external links so I can see what @swannodette wants to put there and fix that up.

[swannodette]

All this sounds great, happy to take a PR - please submit your CA. As Alex said we can handle nav changes.