Tenniel illustrations are in the public domain. The original work is about 150 years old. As you say, very a clear-cut copyright issue with Disney lifting the design. I'll be interested to hear the outcome of this.