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