The actual problem was unexpectedly small: → Older app versions automatically wrapped phone numbers in HTML <a> tags. → After the update, the new renderer stopped generating the opening tags. → But ...