I think both cases apply-- It'd be unfair to punish a larger team having to use more words to credit the people that worked on the project no matter where they're credited :0
"Thank you for playing!" I think is fine to be lumped in with credits! As it's acknowledging the player's contribution to the game.