Should a video game credit be considered uncredited when...

Would a video game actor, crew member, or music track be considered uncredited if they are not in the game's end credits, but are in the manual book that comes with the game?