yes - sorry. I'll add a second (alternative) key for CTRL today or tomorrow at last. Thanks for writing me about that
