Let me have a look....
View attachment 704682
@Blake00 do you not see this option?
otherwise, yes, seems indeed to be the case that normal users do by default not have the option to delete resources. In the permission overview in the admin section this option is listed under the moderator options.
I guess we never made this a default option for users, as with the current setup it normally should not be necessary to delete resources, as you can simply upload a new version, and there is an internal version tracking, preventing any messup. Situations like this are rare, I think
.