Make a switch for generating the gnv using gnvtool, and add another name
to credits on launch.