Ok, that did the job. That was entirely a noob error on my behalf.
So the procedure to make the Argon One IR Remote Work:
- Add
dtoverlay=gpio-ir,gpio_pin=23
to /boot/config-user.txt - Copy argon.lircd.conf and argon.lircd.png from ArgonForty (https://download.argon40.com/ArgonRemote.zip) to /etc/lirc/
- My OSMC > Remotes > Browse Locate argon.lircd.conf