fdo#75937 - package galaxy theme in a form we like; cf. fdo#81103.

Change-Id: If920257f141a2dc4208d1fd322b875fdc8315cee