It looks like it has made it in to the master repository (line 90)
0x6539: (rm4mini, "RM4C mini", "Broadlink"),
So it should not be an issue anymore (but i haven’t actually checked it, as i am currently not using it)
it was the PR which added it on Jan 8th