This copies all entries of allPlugins into a new array, and appends the values in the array provided by listPluginsInDirectory, to then throw away the old version of allPlugins. Might `allPlugins.push.apply(allPlugins, listPluginsInDirectory(f))` be more efficient?