New review comment by paper42 on void-packages repository https://github.com/void-linux/void-packages/pull/32005#discussion_r684653860 Comment: could you remove $pkgname and replace it with gnome-shell?