What are the differences between recycling, redeeming, and re-leveraging shares?: Revision History in The Grid Wiki