Would still have been pretty ridiculous if a verdict had been made that this counted as copyright infringement. (They settled it amicably)