A userscript that adds a button to make the diff better
As of 27. 11. 2020. See the latest version.
These are versions of this script where the code was updated. Show all versions.