If the extras repo was offered *by the installer* and not added by the user, then it does indeed seem like a bug. Why would the installer offer to install supported repos, and then not do it?
If the extras repo was offered *by the installer* and not added by the user, then it does indeed seem like a bug.
Why would the installer offer to install supported repos, and then not do it?