[royal__]

Yeah this is what I do. This article feels like crazy overengineering for something that's not really a problem

[dima55]

A dedicated key for all window-manager things is what people that have thought about it do (I use the "windows" key). But keyboard manufacturers haven't thought about it, so sometimes reasonable things aren't possible. I don't know.

[sudahtigabulan]

Unless you have RSI. Then it might be worth it. Depends on what hurts.