Re: fancy-splash-screen customize group...

[Richard M. Stallman]

These changes are good.  Please install them.  But note that one of your
strings includes "options" meaning variables and faces.  I've decided
to get rid of that usage.  For now, please put "settings" instead.
I might use "settings", and if not, it will be easy to change that.