Merge recent fixes on main into "lab" branch#15

nathancarter merged 3 commits intocompact-validation-testlurchmath/lde:compact-validation-testfrom

mainlurchmath/lde:mainCopy head branch name to clipboard