Fixes #5052 - minor updates in devel docs
Merge pull request #141 from tstrachota/docs

Fixes #5052 - minor updates in devel docs