ubuntu22-10ja 【第11回】拡張機能でGNOME Shellを派手にしたり便利にしたり