Whatever was leaking is very likely broke at this point. The article says they think it’s drivetrain oil, but the only thing I could think of in that regard is maybe differential(s). That’s only really gonna hold half a gallon, so if it’s not already ruined it will definitely fail prematurly from running dry, even if it was only once.