emacs: python pdb highlight, latex dictionary, def-keys