2023-05-25: Version 3.3.2 Released

I released version 3.3.2 yesterday evening. People with large timelines might notice a visibly smoother and faster experience; people exporting CSVs to open in Excel won’t run into messed-up characters if they use Excel’s default settings; and there are a couple more small updates.