Draft: Fixed a bug in intersection snapping with arcs
+ improve handling of default colors of report view and Python console when using style sheets
fixes #0001378: outdated url in man pages