In the short term, yes, that is probably the workaround for the present time. Otherwise, it will be Erik or anyone who wants to fix it since all the code is up on github. I'd do it, but I don't know enough nodejs... so if I take it on it will take a while... a very long while!
Basically, the devicesList needs to be parsed into smaller groups for display/input handling, so that the readlineSync.keyInSelect() limit of 35 entries isn't exceeded. So it would be something like 10-15 devices at a time, and you'd have two extra menu entries that allow between the groups. Or something else used that doesn't have a 35 entry limit... but in reality that allows the menu to become ridiculously long.