Slight modifications to the 1.4 manual to take into account the new menu...

... layout in 1.4