[docs] Two helpful documentation additions

[KarateCowboy]

Love what you folks are doing.

[KarateCowboy]

@arthurevans New PR created, as directed.

[gabrieldemarmiesse]

Thanks @KarateCowboy ! Everything seems good. The checks complain a bit about the title. We are usually adding [docs] or [stdlib] or [tools] at the start of the pull request title. Can you edit the PR title and change it to "[docs] Two helpful documentation additions" ? All the checks should be green afterwards :)

EDIT: I see that the notebook can't be displayed by github. Maybe there is an issue with the format. I'll look into it

[KarateCowboy]

I updated the title. I used IntelliJ and a plugin to create the notebook. It's my first time making one so it may not be quite right. Let me know if you need any changes.

[gabrieldemarmiesse]

Yeah, it's pretty weird. I would recommend that you modify this one: https://github.com/modularml/mojo/blob/nightly/docs/tools/debugging.ipynb instead of making a new notebook. It's less likely that you'll get into trouble

[modularbot]

✅🟣 This contribution has been merged 🟣✅

Your pull request has been merged to the internal upstream Mojo sources. It will be reflected here in the Mojo repository on the nightly branch during the next Mojo nightly release, typically within the next 24-48 hours.

We use Copybara to merge external contributions, click here to learn more.