Board Game Arena

Hi, can the devs confirm how the selection of the first 5 cards and how the redraw is programmed? Also relevant to the pick selection for the next round ?
Is it equal to the IRL game where the pool of cards is fixed at the start of the game and is used for all players in that game and un-picked cards are returned to the pile for following rounds?

Asking because I see a lot of games where players have similar decks, even in 6 player games. This is probably due to rng, small N and my bias but want to check with the devs.

I (as a player, not dev) always assumed that they ordered the list of cards and once it empties, it is reshuffled among all non-picked cards. Based on that, I feared that the first player to click "draw cards" can sometimes get "unseen" cards, while other players might get reshuffles. IRL is like that also.