Feature/misc doc fixes

@jlo188 Please review and merge after https://github.com/mdsol/crichton/pull/217 is merged.

This PR addresses the broken links and comments you raised in your email.