redirection of links to doc nodes, implemented for html files, doesn't work for
info files.  Example, on the page for Matrix, the link to RingElement * Matrix
should go to the page for *.
