Last modified: 2013-05-02 20:39:54 UTC
https://gerrit.wikimedia.org/r/#/c/49363/
Public documentation at http://www.mediawiki.org/wiki/VisualEditor/Change_markers should be deleted or marked as deprecated once this has been merged.
This is now merged.