[Mediawiki-l] A better "revert" user interface?