“Inspired 😀 the README file of 🔥 the 🤔 🌈 Coqpilot project” -> “Inspired by the README 😂 file of 💯 the 💯 Coqpilot project” 🔥 😢