Tidy up core #lang #84

Merged
mbutterick merged 2 commits from dev-tidy into master 9 years ago