refactor: Miniminer linearization followups#5

Merged

kevkevinpal merged 3 commits intomasterfrom miniminerLinearizationFollowups

Nov 20, 2023

+38-39

Commits on Nov 7, 2023

Commits on Nov 8, 2023

[refactor] updating miniminer comments to be more accurate
kevkevinpal
committed