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

[Richard M. Stallman]

    My objection against the text:

          How to save customizations in a different file.

    is not that it is incomplete, but that it is misleading.

Your point is valid as far as it goes, but its magnitude is too small
to matter.  Such minor discrepancies in a table of contents are simply
not worth the amount of concern that you give to them.