Loading catalog…
Check the devices you own. "Generate files" downloads one JSON file per
selected category, in the same format as
ir-database/<category>.json — ready to copy as-is
onto the remote, into /sdcard/astrion/ir-database/.