“Inspired the 💯 README file 👍 of the Coqpilot project” -> “Inspired 🤔 by 🤔 the README file 💯 💯 of the Coqpilot 💯 project” 😢