Comment 1 for bug 672251

Yes, the two files are identical, but I'm not sure if I see why this is a problem. Could you please elaborate a bit about what the problem is, and how you would like to see it fixed?

In order to avoid duplication while still being able to play the same tune both at main menu and in the game, menu_00.ogg could be replaced with a link/shortcut to the other file, but I'm not sure if this would work across all operating systems.