Merge remote-tracking branch 'origin/feature/9797_fix_data_difference'
Merge remote-tracking branch 'origin/bugfix/9780_workspace_ops_name'
Merge remote-tracking branch 'origin/feature/8708_graph_windows_vanish_on_refitting'
Re #9754. Adding navigation buttons to offline help.
Merge branch 'feature/9754_help_navigation' into develop