here is an attempt at 12918, along with the original reporter,
I also had overlooked the decode_line method.

2011-07-02  Matt Rice  <ratmice@gmail.com>

        * gdb.texinfo (Symbol Tables In Python): Add reference to the
        decode_line function.