Updated CentOS8 install instructions. Contributed by Richard Kellner.