[BUG #8201] Updated manual to reflect mouse --> pointer changes