char *getScoreFilename(int);
char *getSetupFilename(void);
char *getEditorSetupFilename(void);
-char *getDemoAnimInfoFilename(void);
-char *getDemoAnimTextFilename(void);
+char *getHelpAnimFilename(void);
+char *getHelpTextFilename(void);
char *getImageFilename(char *);
char *getCustomImageFilename(char *);
char *getCustomSoundFilename(char *);