Thanks to you both. For some reason WordDumb had not detected Xiao Wang as a separate character and did not increase the count for Wang Miao when configured as an alias. But it did work for Da Shi.
I came across this (audio) pronunciation guide which I think very useful, and so far it has also turned up Mozi, which is not in the list of characters and must be assumed to be well known as a Chinese philosopher.
https://rehydrate.space/pronunciations/