rickstanley [1] filed a deletion request for webgpu-headers [2]: I've received a revision of this (my first) package, from a fellow AUR packager. Since the wiki says that "replaces" should be generally avoided and I'm probably the only one using this package, I would like it to be removed. [1] https://aur.archlinux.org/account/rickstanley/ [2] https://aur.archlinux.org/pkgbase/webgpu-headers/