Merge branch 'release/0.18.2'
Merge branch 'release/0.20'
Update project and bug report url to point to github
Merge branch 'develop': minor change in the URLs
Remove obsolete debugging code