Whitespace at end of line in generated error database files
menhir --update-errors handcrafted.messages
generates comments that contain whitespace at end of lines. See for example the cparser/handcrafted.messages file from CompCert.
This is a bit of a problem for users who configure their editor to remove whitespace at end of lines before saving. Any edit of a handcrafted message changes many comment lines (removing whitespace at end of lines), but any subsequent menhir --update-errors
changes these lines back, causing large diffs in both cases.