Doc update to diffdeb, part 2.
Doc update to diffdeb, part 2.

Per
https://github.com/projectbuendia/buendia/pull/106#discussion_r294526856

projectbuendia/buendia,projectbuendia/buendia,projectbuendia/buendia,projectbuendia/buendia,projectbuendia/buendia