I fixed (=programmed around) some bugs in 

     /home/was/s/devel/doc-0.9.13/tools/toc2bkm.py