Our overall experience deploying Red Hat Enterprise Linux (RHEL) has been positive. However, we sometimes encounter challenges with documentation, as it may not always be up-to-date. There are occasions when our OS version is ahead of the corresponding documentation. We patch our OS, and that version may be newer than what the documentation reflects. This can lead to inconsistencies, so we often request that they refresh their documentation to ensure it is in sync with the OS. On the plus side, another benefit is that there are many online discussion forums available due to its wide usage, where we can seek answers if we encounter issues.
 We operate on-premises due to regulations and compliance requirements, as we are a bank. We handle many personally identifiable sensitive information, which we cannot deploy to the cloud, so everything is hosted on our servers.
 We host Red Hat Enterprise Linux (RHEL) on our servers and use VMware to virtualize them. On a single physical server, we can run three or four virtual servers. This approach enhances server utilization and allows us to manage more workloads on the same hardware.
 I've participated in upgrades from version 6 to 7, 7 to 8, and 8 to 9. The only issues we encountered were related to the Samba file-sharing system, where we had to uninstall and reinstall it instead of migrating directly. This was frustrating because we expected everything to be backwards compatible. Additionally, we faced challenges when upgrading from version 6; we couldn't jump directly to version 9 and had to go through intermediate versions, which was a pain point for us. We wish we could upgrade from version 6 to 9 directly instead of having to go from 6 to 7, then 7 to 8, and finally 8 to 9.
 Regarding our upgrade or migration plans, we recently migrated to version 9, which is a long-term service version. We plan to stick with version 9 for the next year or so.