Doc: finish section 6, complete with demo