Update release doc, remove exec bits. Closes #3617
Merge remote-tracking branch 'ivan-github/bug/3617_remove-exec-bit-update-docs' into develop