[indolering]

> For RHEL, virt-manager will still be developed independently.

By whom? The vast majority of contributions are paid for by Red Hat [0].

[0]: https://github.com/virt-manager/virt-manager/graphs/contribu...