Agda-stdlib: Error after running `fix-agda-whitespace`

[asr]

After running fix-agda-whitespace, I got the error:

$ make test
...
agda +RTS -M3.5G -H3.5G -A128M -RTS -i. -isrc README.agda
 Checking README.Text.Tabular (/some-path/README/Text/Tabular.agda).
/some-path/README/Text/Tabular.agda:106,5-9
"foo bar\n  1 2  \n  4 3  " != "foo bar\n  1 2\n  4 3  " of type
String
when checking that the expression refl has type
unlines (Tabularᵛ.display whitespace (Right ∷ Left ∷ []) foobar) ≡
"foo bar\n  1 2\n  4 3  "

[asr]

The error was because I used fix-agda-whitespace instead of fix-whitespace.

[gallais]

See the HACKING.md file.

We are now using fix-whitespace and explicitly whitelisting a bunch of files
that have whitespace because they contain code with meaningful whitespace
generated by Text.Tabular

[asr]

I included the *.md to be tested.