All valid points. I have faced similar issues in the past. Looks like plugins manager’s part was coded having only Windows in mind. Filed as OF-952
I have also mentioned to Redeyes, author of Rest API plugin to rename the distributed file to use lowercase only. But it still is restAPI.jar… But fixing the root cause is the best solution.