Huygens Remote Manager 3.7.1 released! July 29, 2021 by Aaron See the announcement on https://www.huygens-rm.org/wp/?p=459.