Update user and developer documentation with the JFX-based Synthesis changes
(from redmine: issue id 4057, created on 2020-08-24, closed on 2020-09-11)
- Relations:
- parent #3446 (closed)
(from redmine: issue id 4057, created on 2020-08-24, closed on 2020-09-11)