remove a couple of unused icons

I kept the sources around, so they can more easily be restored should we
need some of those again.