Version 2.3.1

This update was released on April 29th, 2020. We've fixed various minor bugs.