1ace  filed a deletion request for vulkan :
extra/vulkan-sdk & extra/vulkan-icd-loader replace these vulkan-sdk &
Not sure what to do about the different name though; should I push an
update with the new name (vulkan-icd-loader) and `replaces=(vulkan-
loader)` to make those who installed my package use the new name, and
in a week (when hopefully people have upgraded to the new name)
actually delete this one?