I have just commited the SpaceFun theme into Debian Installer.

This ought to be available on daily builds tomorrow.

Please give it a try and let me know about any problem.