I just installed
E17
from the
packages that the
Elbuntu project have so
kindly made available. So far, it pwns Gnome for me. It's faster,
but still has nice animations and everything. We'll see how it
holds up over time. (And I can finally have a toggle vertical
maximize! ;)