Even if they did, if someone memorized copywritten code and then typed it back out that would still be a copywrite violation