Contributed to open source
Add --git.devel option to the documentation