Closes #104: I implemented some updates that we implemented in June's training website directly. A couple of these were no longer needed which was nice!
Closes #118: Again a couple misc changes I've been tracking, and again some of these weren't needed in the end!
One semi-related change I made was to remove the ### GitHub Repositories section from the workshop materials page. We end up linking to training modules in a subsequent section, and since they don't ever need to navigate there, I think we can probably deprecate that whole bit. Any disagreement let me know!
Stacked on #140
This PR is just a bunch of stuff...!
doctocand move totocOne semi-related change I made was to remove the
### GitHub Repositoriessection from the workshop materials page. We end up linking to training modules in a subsequent section, and since they don't ever need to navigate there, I think we can probably deprecate that whole bit. Any disagreement let me know!