…as soon as I posted the question, it started working: PC mouse on the main PC and the HTML app and the MAC mouse on the MAC.