I cannot find any historical records or widely recognized Buddhist monks or scholars named "晓莹" (Xiǎo Yíng) within Chinese Buddhist history or scripture translation. It is possible this name refers to a less prominent figure, a contemporary scholar, or a misremembered name.