I think it is difficult for the priests because they are used to saying "our servant, Pope John Paul"
Our priest has been saying, "our servant, John our bishop" He just gets caught up in that habit.
You are totally correct. They can mention the Pope's name however when prayers for the dead are said during the Mass.
That's exactly what happened at my parish last night ... "Your servant (ulp! pause) Peter our Bishop!"