Warnings in debug.log file | WordPress.org

When using the plugin running on PHP 8.2, we see occasionally (a couple of times per day) see the following warnings in the debug.log file:

PHP Warning: Undefined array key “HTTP_USER_AGENT” in /var/www/blivomdeler.nu/wp-content/plugins/seo-redirection/common/util.php on line 375
PHP Warning: Undefined array key “HTTP_USER_AGENT” in /var/www/blivomdeler.nu/wp-content/plugins/seo-redirection/common/util.php on line 455

It would be great if you could fix these warnings in an upcoming release.