2020-02-03: 1.7.1 Released

Version 1.7.1 was just released, with some small fixes and improvements on top of the recent version 1.7. See the 1.7.1 release notes for more details.