instead of “plugins” in this case, it would be “community extensions”