diff -r 00aee9a42555 -r dae38cc05ddf doc/favicon.ico
Binary file doc/favicon.ico has changed