#3143 (Mar 19, 2021, 4:24:18 PM)

PR #1541: Clean user-submitted x0s du...

	Changes clean first x0, add test (commit: 027bac0) (details / githubweb) fix docs typo (commit: d318e38) (details / githubweb) use vks for susbtitutions keydicting (commit: 746985f) (details / githubweb)
	GitHub pull request #1541 of commit 746985f7a4ba8cbdfd4553744e2470e7748ee1a2, no merge conflicts.
	SCM: git https://github.com/convexengineering/gpkit Commits since last build: 0 Latest commit: f1201b1
	Test Result (no failures)