I really liked reading about @macwright.com’s / @macwright.org’s usage of LeaderKey. Tom said he didn’t figure out a way to assign CMD CMD as LeaderKey. For that I can recommend using Karabiner Elements. My Leader Key is Left-Shift Right-Shift simultaneous. That might also work for him?