Interesting discovery from automatic tools (python code)

[Pavel Sanda]

On Sat, Jul 30, 2022 at 05:49:05PM +0100, José Matos wrote:
> In any case the code after this patch is more correct, and that is
> always a good thing.

Good. This one applies, so it's in now.
Now that I have you on hotline, any chance to have a look at the
configure patch we discussed in March? :)
(Was: LyX 2.4.0 (IM policy.xml ban on eps/pdf conversions))

Pavel