Just replaced my #Nikon D200 with a #D800 and look at the size difference between the manuals! Is this progress?