Revert "better support of revision tags in visualizations, editions and witnesses"

This reverts commit beaeb17de374f0aef2b5393749a306763fb6baad.