improved Option::KEYOVERLAIDMODIFIER_REPEAT_TOKEYS