Fixed in revision 3389. NOTE: the community delete operation was already permitted for all moderators. Should we change it to only allow administrators to delete communities?
Also, about the speed of deletion: it's slow because every item in the community has to be removed from the catalog. The most likely way to speed it up is to delete asynchronously: return immediately from the UI and perform the actual deletion in the background. We haven't dived into async operations in Karl yet, so is it worth the extra effort?
Fixed in revision 3389. NOTE: the community delete operation was already permitted for all moderators. Should we change it to only allow administrators to delete communities?
Also, about the speed of deletion: it's slow because every item in the community has to be removed from the catalog. The most likely way to speed it up is to delete asynchronously: return immediately from the UI and perform the actual deletion in the background. We haven't dived into async operations in Karl yet, so is it worth the extra effort?