Great to see them work on discoverability. A general problem in modern UIs these days, and very important in such a complex system.

I've been giving serious thought to trying out Qubes lately, it looks like a pretty cool package.