Call for review: Install missing icons

Hi!

I have submitted <https://bugzilla.gnome.org/show_bug.cgi?id=782198> 
including a patch, and it would be great if somebody could review and 
push it.

For a few years I have been working with the maintenance of the Ubuntu 
Desktop Guide (<https://help.ubuntu.com/stable/ubuntu-help/>). Even if 
much of its content was 'stolen' from GNOME, we have had an own single 
branch + package (ubuntu-docs) with all the pages.

Since Ubuntu will replace Unity with GNOME as the default desktop 
environment, we have decided to start using gnome-user-docs as the base 
for the Ubuntu Desktop Guide. We will use ubuntu-docs as a supplement to 
gnome-user-docs, which will allow us to modify a few pages and provide 
some extras.

This means that the Ubuntu documentation team will likely contribute 
more to gnome-user-docs going forward. Up to now we have made some 
improvements in Ubuntu of pages which origin from GNOME, but - to be 
honest - we have been pretty bad at upstreaming such changes. Let's do 
it differently from now on.

See you!

-- 
Gunnar Hjalmarsson
https://launchpad.net/~gunnarhj