And in any case, it's still possible to highlight and piece of text and copy / paste into the Phone app.
Agree, that's the way i proceed.
But in Germany, 0123/456789 is unfortunately a often used way to write PhoneNumbers.
And unfortunately it is hopeless to teach all different senders something different ...
I still send plain-text messages (and prefer receiving them that way for the most part), and if someone writes his/her phone number, I don't expect those to be html-coded.
This is also my preference
Nevertheless, thanks for your and the other Answers
Hagen