Why argue over a technicality like this? All that matters in the practical sense is that once you flip the deck over and manually adjust a deck that has been randomized to an extent by rigorous shuffling, it's no longer randomized in any sense of the word.
When players shuffle rigorously, a...