Workaround for nasty auctex bug in Debian/Ubuntu
Now I can use the TeX-display-help facility