[bitfolk] Can someone work out how to install and run RHEL then?