It was discovered that the color help option that draws symbols instead of dots didn't work properly on Windows and Linux (it was misaligned and too big, which made it also impossible to see which pixels to delete). This hotfix attempts to resolve this issue.