In section 799 I was a bit surprised to see horn being used by opticians. I guess this is the origin of the "horn rimmed glasses".

Thanks for posting this.