For information: The Joomla Update shows available updates for some components, i.e. the Advanced Module Manager. Installed ist 10.0.2Pro, Update wants to install 10.0.2, which is an downgrade to the free version. This should not happen, I think. Customers who maintain their site themselves could run into problems with this if they follow the update recommendation.