hmm, when else do we have options that don't look right?  I was hoping this can be solving #5132 with force repaint on iOS as well, but that's failing in more mysterious way.