This block of code assumes that the only possible values for the paths array is `["default", "dev", getUserExtensionPath()]` or `["default"]`. This seems to currently be the case, but this code would be more robust if it were to remove the `"dev"` and `getUserExtensionPath()` elements instead.