Martin, I am sure you are right. <looks around /> Aha! They are in
Synaptic package manager. Why didn't I think of that? (Probably
because I'm using a Mac these days. How quickly I forget Ubuntu
things!)
So that is another way for Gabriel and others to get the Galaxy icon
set. I still think it's best to install LO from the LO website, to
avoid any other differences that may exist in the distro versions of
LO.
--Jean