Documentation: remove 'mach' from dontdiff file