Settings that work on desktop for already mastered words (easy, medium, hard) haven’t ever worked, or displayed, on ios. Why? Does that also mean that settings for lengthening redisplay times for repeatedly mastered words also don’t take effect on mobile?