Non-GamStop casino platforms in the UK and player priorities in responsive design