Maybe they've used those names to test their OpenAI-compatible API (https://api-docs.deepseek.com)?