Can I push this 20MB commit to update the format of the docs?

[José Matos]

On Fri, 2022-12-09 at 12:28 -0500, Scott Kostyshak wrote:
> This commit used the LyX binary to write the new .lyx files since
> lyx2lyx does not apply semantic linefeeds.

This is something that needs to be done. It is not high priority but it
should be done to keep to output of lyx2lyx as similar as possible to
lyx's output.

-- 
José Abílio