github/copilot-docs ? reverse-engineered prompt