Claude models are usable through certain github copilot plans, so that's a counterexample, isn't it?