Finally, they read a comment on GitHub suggesting a custom FreeRDP PPA — so tried it and it worked ... I can’t lie: coming ...