kernc DOC: Refresh manual / typos

Latest commit bc63a5e

Jan 9, 2019