4 ms·No need to. The Option key is configurable in terminal software.by dancek 7y agoNo need to. The Option key is configurable in terminal software.