Thanks for letting me know, all the same! I made a Mojave partition, so I will install it there for now!
