Coverage remained the same at 96.26% when pulling b68d0bd0168e56d843fc09154fbbc09d0aa39b5d on docs-review into ae31e8359400c0d26b22567e34e204fa22d8ce5a on master.
Coverage remained the same at 96.26% when pulling 83506f7067eff9858d7040c8f514c56847294c51 on docs-review into ae31e8359400c0d26b22567e34e204fa22d8ce5a on master.
Our external review has found quite a few typos, mostly missing commas.
Closes #555