Hello! Please apply this patch to gdb.texinfo and annotate.texi. It fixes minor markup ussues. Thank you in advance, Dima.