Prune is using the word 鼎鼎大名 and I was sure this word was in my wordbook already, but it was not highlighted, which I thought was a bug. It turns out that the word in my word book is 大名鼎鼎.
They’re probably just variants of each other, I don’t know if there are elements that would push towards using one more than the other.