Increase deck limit above 5000 cards

It seems there is a deck limit of 5000 cards. AI generation stopped at that limit for two different PDFs. Manually adding another flashcard to a deck at 5k results in the card appearing for a short time and then disappearing, as if it got rejected by the server.