Update manual regarding new favicon plugin and its options.