document `repeat_keys`