SIP contacts: automatically remove all non-digits from phone numbers

Windows 10, Jami version 202106031831

When a phone number is entered in the search field, Jami interprets blanks correctly. Not so for other non-digit characters. If I search for 123-456-789, then

• if 123456789 is among my contacts, Jami will not recognize it as being the same as 123-456-789
• if 123456789 is not among my contacts, Jami takes the new contact from the search field. A subsequent call fails, apparently because it tried to go to 123-456-789.

Quite often one needs to copy and paste phone numbers from web pages or emails. Depending on the country, digits may be separated by blanks, dots, hyphens, slashes, parentheses.

It may be desirable to keep the separating characters in the contact name (although what most users expect is the capability of editing the contact info). The non-digits should, however, be removed from the phone number so that calls go through.