4 date="2017-02-18T19:53:15Z"
6 At last, I wrote this plugin. It was not on the top of my priority list, but I eventually did it.
8 It is called [[plugins/contrib/pageversion]].
10 Thank you very much for your advice: it is far better than what I had in mind before discussing it with you! :)