Before revision: In 2021, top 10 computers run for instance Red Hat Enterprise Linux (RHEL), as in the fastest one, or some variant of it or other Linux distribution e.g.
After revision: In 2021, top 10 computers run for instance Red Hat Enterprise Linux (RHEL), or some variant of it or other Linux distribution e.g.