Is there a package of alternative greeter themes? If not, is there a way to easily disable the animation on the greeter theme (the star field)?

I've found two directories which might be related:

  * /usr/share/dde/resources/greeter/greeter-theme/sky
  * /usr/share/personalization/greeter-theme/sky

And the setting, 'com.deepin.dde.personalization.greether-theme', which is currently set to 'sky'. There are two js files in the html file in that directory, but they are compressed, so I'm not certain which I could comment out to remove the star field animation (if any).