We want to change one of the icons.
We saw a ‘tux’ icon and changed its appearance. We keep the originals always around…. you never know.
I discovered there were two tux icons
So I had to do the exercise twice.
This is just a quick fix. Later when you have your own name and icon you can use that one.
We discover the right icon now – gnu-linux.png