Paul

This still seems to be a pain point -- if a user has already installed the risc zero toolchain and tries to use the quickstart instructions, they won't know to...

hmm @SchmErik was there a PR you wanted me to review for this?

#1511 wasn't directly related, but I'm going to go ahead and close this as I think it's no longer an issue. This was a pain point based on the previous...

thanks for the feedback, y'all! i think i've addressed all the feedback that it makes to address on this PR. if there's no further feedback, i'll connect with morgan to...

OK the only remaining todo here is to make sure we're not killing links from devrel/marketing assets. I think we can manage the redirects via the docusaurus.config.js file, but I...

This is a lot of great content, but it's also quite a long doc, which means a lot of maintenance duty for us and a lot to parse through for...

I'm clearing the `devex` board; moving this to "new" under `platform`. Feel free to move it back to "idea backlog" if that's the most appropriate status.

I think it's probably best to hold off on adding a dedicated page for this until we do some engineering re: #2075 -- until then, we don't have a good...

I think we should continue bringing a printed version of datasheets to events, so I'd advocate for an approach that works well both for online viewing and printing.

In risc0/risc0#967 I raised the question of whether it's possible to write some sort of script that will auto-populate the [google sheet](https://docs.google.com/spreadsheets/d/1hz0qHrZiHa6iLR_uhou6X8_nv49WLJjAdLjsADk7Cuc/edit?usp=sharing) with numbers from the latest release...