近来看元曲，郑光祖似有别名，郑翰卿。记得《舌华录》里面有几个关于郑翰卿的小段子，但是《舌华录》只记其言，未明其人。通过一些渠道查郑光祖和郑翰卿，除了都是元朝人，名闻天下，声彻闺阁，倒也是相同之处。请教高人，这两个名字到底是不是同一个人？