Review "User guide" index page

Author: rgaiacs

docs/source/use/index.md

@@ -1,9 +1,9 @@
 # User guide
 
-Short, actionable guides that cover specific topics with repo2docker.
+Short, actionable guides that cover specific topics with `repo2docker`.
 Select from the pages listed below to get started.
 
-Information about configuring your repository to work with repo2docker,
+Information about configuring your repository to work with `repo2docker`,
 and controlling elements of the built environment using configuration files.
 
 ```{toctree}