Formatting of "devel" in docs

[Terrence-Monroe: Brannon]

At this link we read:

followed by checking out the _devel_ branch:

But `_devel_` is deceptive because the actual branch is `devel` 

I think some intended emphasis formatting failed. What format is used for this text? restructured text?

Should there be 2 underscores before and after "devel" instead of one?

I'll be happy to supply a PR once I know the right way to go with a fix.

[Thomas Passin]

A single asterisk or backtick before and after gives italics, double asterisks give bold.  Underscores are used by Markdown. Well, Github markdown, anyway not sure about others.  Asterisks also work for Markdown.