3 ms·It's not worth typing all that to remove one extra space. "/ ^Mx" is easier.by rlpb 13y agoIt's not worth typing all that to remove one extra space. "/ ^Mx" is easier.