Jason Lemahieu, thanks a lot for your feedback and suggestion.
Yes, I did consider running the code to update the options at admin_init, but then consider this scenario: user doesn’t run the WP plugin updates, they simply overwrite the old files with the new ones, and they don’t immediately go to the admin. So, until such time they log in to the admin panel, the widget in the front end will show with the default options and not with the settings they defined previously.
Moreover, the options are set with autoload ‘on’, so the options are retrieved at once on wp_load_alloptions()
and cached, so I hope there won’t be much of database requests. Let me know if I’m missing something here.
Thanks again!