2022-10-12: Version 3.0.1 Released

Released version 3.0.1 last night. This adds a single fix to version 3.0, for a crashing bug found after release; sorry for the mistake!