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

[Richard Kimberly Heck]

On 12/9/22 14:40, Scott Kostyshak wrote:
> On Fri, Dec 09, 2022 at 07:19:37PM +0100, Pavel Sanda wrote:
>> On Fri, Dec 09, 2022 at 12:28:41PM -0500, Scott Kostyshak wrote:
>>> OK to push?
>> I'm not happy about updating Additional.lyx as John doesn't have
>> up-to-date lyx binary and will stop him from updates.
> Makes sense. I'll exclude Additional.lyx for all languages. Should I go
> forward with the others or shall I wait?

I think it's ok myself. But we could also go ahead and produce a new 
alpha. I can do that if you wish, when I do the 2.3.7 tarball this weekend.

Riki