well said. Still, I really hope Rocky Linux thrives. Then when it does, doesn't sell out.