[ bug ] Deprecation warnings in `Data.Fin.Permutation.Components`

[jamesmckinna]

Sloppy cut-and-paste in the v2.0 deprecation warnings means that only reverse is flagged, rather than each of the intended names.

Possible solution: fix-up in #2740 see #2753

[JacquesCarette]

Personally, I think straightforward bugs like this deserve their own PRs, so that they don't get stuck waiting on something else.

[jamesmckinna]

Yes, perhaps you're right. But I'm hoping that #2740 would be uncontroversial. Happy to lift it out though (at the cost of some more time/branch space etc.). Now done.

[JacquesCarette]

I find it rather unpredictable what will become controversial when I thought it wasn't. So I tend to err on the side of caution and split my PRs.