Docs: Fix gdb pretty printers

fixes #8048