Fix @findex and @vindex entries in manuals