I forgot to say: I don't know how to change the window's icon. This should not be difficult either, just checking in the codebase with 'grep' for the name of the old icon and replacing it (though I have no time right now, could you do that?)
I forgot to say: I don't know how to change the window's icon. This should not be difficult either, just checking in the codebase with 'grep' for the name of the old icon and replacing it (though I have no time right now, could you do that?)