Error running this command: diff -U 5 "/tmp/LYXtcJ" "/tmp/6aSY52"
diff -U 5 "/tmp/LYXtcJ" "/tmp/6aSY52"
No output on STDOUT.