Is GitHub Copilot in legal trouble? — LessWrong