Allow users to set default save state pvsm or py
Please add the ability to Edit/ Settings to change output file format for File/ Save State. The two options will be .pvsm or .py. Make default be .pvsm. Make this setting sticky for this user over time.