[PATCH] Removal of markup annotations

[Nick Roberts]

 > > Its related to "History" which also isn't about controlling GDB, so perhaps
 > > that node should also be moved
 > 
 > Maybe we simply should describe the "server CMD" feature in the
 > "History" node, instead of having it in a separate node.

That seems sensible.  I can see now that "History" is in "Controlling GDB"
because it describes the setting of parameters.  However, I think the
"Commands" section might be a better place. I think "History" should also be
called "Command History" to differentiate it from "Values History".

Nick