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. Pavel