actually, both would be fine. neither does a vector realloc for every push_back nor is there any noticable overhead here when using a list. once we start having 1000+ plugins, we might reconsider the vector, though :)