* fix private space shortcuts
* fix widgets not working properly
* fix widget size not always applied properly beginning with android 12
* fix history screen closing by itself on refresh
* fix theme for KISS settings, do not apply advanced theme customisations
* fix call option not showing for phone number
* make internal shortcut id unique to allow multiple shortcuts with same name
* convert keypad letters to digits during phone number normalization
* use updated search algorithm by default
* add setting to define how matches in results are highlighted