such a file, but mailers might mangle them. [git-p4: depot-paths = "//depot/solvespace/": change = 1891]