Send the topic "debugger_gdbmi pretty printing" to a friend.