This issue is just a reminder for me and @ChrisJChang so we don't forget the two things mentioned in this closed PR: https://github.com/GambitBSM/gambit/pull/515#issuecomment-2453510751