Fix wrong symbolic link in documentation


Former-commit-id: 2e005771672047de29adb86a0838017fea0166cd
Use a less precise Python 3 version


Former-commit-id: 280f39b355d086dfb50bba9f6a715a022b4e0116
Remove spurious '}'


Former-commit-id: 4fbc754cedac169d2b5a857c342bbf7b05291026
Add version number to user guide too.


Former-commit-id: dbc96f4ef250eea7e879828a4f7a1f8fb05fb9aa
Update package list used to build documentation


Former-commit-id: 034687164b7396034c31d6c12ffdd8ead22e89de
Update links to documentation and company name in documentation


Former-commit-id: d175aa8315d7f02f06882901f726b4d32ff671c3
Update directory description to current state

Rename also RELEASE-NOTES.txt to RELEASE-NOTES.rst to fit real content and
have GitHub to correctly pretty-print it.


Former-commit-id: 6dd8efd38759f094952bf0dd0ab2de9fa227dcb1