Where does Kodi.local come from?

I installed hass.io following the instructions found here: https://gist.github.com/frenck/32b4f74919ca6b95b30c66f85976ec58
Now on my ubuntu 18.04 there is a directory with all files:
fmf@kodi:~$ ls -al /usr/share/hassio/
total 60
drwxr-xr-x 9 root root 4096 Feb 12 16:24 .
drwxr-xr-x 220 root root 12288 Feb 12 14:06 …
drwxr-xr-x 6 root root 4096 Feb 12 14:06 addons
-rw-r–r-- 1 root root 3271 Feb 12 16:30 addons.json
drwxr-xr-x 4 root root 4096 Feb 12 14:06 apparmor
drwxr-xr-x 2 root root 4096 Feb 12 14:06 backup
-rw-r–r-- 1 root root 168 Feb 12 16:52 config.json
drwxr-xr-x 6 root root 4096 Feb 12 16:55 homeassistant
-rw-r–r-- 1 root root 393 Feb 12 16:52 homeassistant.json
drwxr-xr-x 2 root root 4096 Feb 12 14:06 share
drwxr-xr-x 2 root root 4096 Feb 12 14:06 ssl
drwxr-xr-x 2 root root 4096 Feb 12 14:06 tmp
-rw-r–r-- 1 root root 73 Feb 12 16:52 updater.json

In my Overview page I see a media player named Kodi (kodi.local.) Off and I wonder where does it come from: I did not put anything in my configuration files.
Any idea?

Home assistant has a discovery feature. It looks for devices on your network and incorporates them. There are options to disable it or ignore devices if needed.

Ok, I’ll have to look into discover, thanks.
I’m new and I don’t know much about all those features.

After I took a look into discovery I still have some questions: first, it seems to me that I can’t force discovery to ignore kodi, there is no valid kodi value for ignore.
Second, I grep my files and the string kodi is present in the file /homeassistant/.storage/core.entity_registry
I manually removed the file and restarted the services, but the media player card is still there. How can I get rid of it?

Click on the three dots icon in the top right of the home assistant window. Select ‘configure UI’. Click on the three dots icon on the Kodi media player card and select delete.