Formatting of packet descriptions in GDB manual

[Eli Zaretskii]

> Date: Sun, 13 Nov 2005 21:29:55 -0500
> From: Daniel Jacobowitz <drow@false.org>
> Cc: gdb@sources.redhat.com, Jim Blandy <jimb@red-bean.com>
> 
> > This is a misunderstanding: by ``typeset separately'' I meant `z 3'
> > (as opposed to `z3'), not `z'`3'.
> 
> Yes, I understand.  But then you still can't search for the text of the
> packet.

Assuming you expect the text of the packet to contain "z3", yes.  If
this assumption holds for many GDB users, then we shouldn't separate
the characters.  That's exactly the kind of information I didn't feel
to possess in order to make a good decision.