User's Guide: update GDB info