Marginally improve documentation and comments
Merge branch 'devel'
Ignore that one gdb file