Config option to prefer variable labels vs. names
[pspp] / src / ui / gui / icons / splash.png
src/ui/gui/icons/splash.png