And yes, you only need the SDK git repository in order to push the
icon changes. I'm thinking the best way to do this would be to create
a new top level folder called "icons" and submit them there -- then we
can grab the icons as necessary and git move them into the
corresponding places in the code. (Otherwise you'd need to go hunting
down the various places the old icons are located in the source tree
and replace them there - but we can easily do that part, and git will
preserve the file history when the files are moved anyway).
-- Tor