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

[Scott Kostyshak]

On Sat, Dec 10, 2022 at 12:08:55AM -0500, Scott Kostyshak wrote:
> On Fri, Dec 09, 2022 at 05:11:28PM -0500, Richard Kimberly Heck wrote:
> > 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.
> 
> Good to know.

Done at a15303b9.

Scott