Remaining options after uninstall

Just wanted to drop a line that at least the following options are retained after deactivating and unistalling the plugin (two have ‘yes’ as autoload value, one has ‘auto’):

• ip2location_country_blocker_backend_block_proxy_type
• ip2location_country_blocker_frontend_block_proxy_type
• ip2location_country_blocker_real_ip_header

Not that it’s a real problem, but I don’t think it’s intentional either ??