There was an error while loading. Please reload this page.
Fix formatting for setup instructions and documentation links in Setup-Options.md
Add new documentation pages for course IDE and GitHub usage; update sidebar links