デスクトップマネージャの違いなんて重くてうざいかそれ以外かの差しか考えないのだけれども
そういうわけでもないの？