#2341 (Apr 12, 2021, 4:00:19 PM)

PR #1542: Small Improvements

	Changes docs improvements (commit: 40a71ac) (details / githubweb) fix ad error messages (commit: ff1d88f) (details / githubweb)
	GitHub pull request #1542 of commit ff1d88f60a4f23ce51d462bc692b9156592e1cb6, no merge conflicts.
	SCM: git https://github.com/convexengineering/gpkit Commits since last build: 200 Latest commit: 91db48e
	Test Result (no failures)