[[!comment format=mdwn
 username="spalax"
 subject="""Done!"""
 date="2017-02-18T19:53:15Z"
 content="""
At last, I wrote this plugin. It was not on the top of my priority list, but I eventually did it.

It is called [[plugins/contrib/pageversion]].

Thank you very much for your advice: it is far better than what I had in mind before discussing it with you! :)
"""]]