Developer documentation and user documentation are two things. Also, programmdr commited to make commits will put way more effort into figuring things out and into experimenting then is reasonable for user who has completely different job.