UI recasting: new look, avatars, history and so on and so forth
removing the GNOME theme from the CREDITS file