Hello, sometimes Gnome Shell feels a little slow to me, so wondering if there's a benchmarking tool to test performance and compare it to others?