Formatting and minor suggestions

[enormandeau]

Mostly adding back ticks (`) around program names, some commas and minor clarifications.

[gmarcais]

Looks good. Can you rebase those changes on top of the develop branch and resubmit a pull request?

[enormandeau]

I'd love to learn how to rebase like you suggest but this is something I have never done. I'm worried I will mess the history. I read through https://git-scm.com/book/en/v2/Git-Branching-Rebasing but I'm not 100% sure how to do it. Should I go

git checkout develop
git rebase master
# potentially followed by
git checkout master
git merge develop

or

git rebase develop
# potentially followed by
git checkout develop
git merge master

I've tried both locally but really I'm not sure what is the proper way.