Pinned history

[2kspace]

Hello! Is it possible to change the order of the pinned copies? Even if I pin them in the order I need, they are still random.

Thanks 🙏

[p0deje]

It's not possible at the moment, see #342