Paket generates odd binding redirects

Description

When referencing MathNet.Symbolics, paket generates an assembly binding redirect for System.Runtime.Numerics to 4.0.2.0. I can't see any reason for this. MathNet.Symbolics uses 4.3.0.0. In fact, I don't even see that version of System.Runtime.Numerics on NuGet.

Repro steps

1. Create a new F# class library project targeting netstandard2.0.
2. Initialize paket, set redirects:on, and set it to reference MathNet.Numerics.
3. Add an App.config file to the project.
4. Run paket install.

This contains an example of the problem: test.zip

Expected behavior

I expect paket not to generate assembly binding redirects in this case. If they are needed, I expect the redirect for System.Runtime.Numerics to target 4.3.0.0.

Actual behavior

An assembly binding redirect is generated in app.config for System.Runtime.Numerics to a version that isn't referenced anywhere, and doesn't appear to even exist on NuGet. This may cause errors at later points.

Known workarounds

Disable redirects in paket, I suppose?

Start by reproducing the issue from the attached test.zip using a netstandard2.0 F# class library, redirects enabled, and paket install. Inspect the generated app.config and compare the System.Runtime.Numerics redirect with the referenced version; done means the redirect is absent or targets 4.3.0.0 as expected.