Comment by patchymcnoodles

That "waste" of resources was absolutely tiny. Took me just some minutes. And I didn't do it because of DEI, just because I think it's a better name.