Use root_favicon so github pages can use their own.