widget-pool-manager was renamed to widget-ui