I am downloading extensions for Arduino. I want to delete one of extensions, but I do not know where it is. P.S: on macOS Big Sur)