Brianna Laugher wrote:
Another write-me-some-code request: for any image in [[category:duplicate]], where the replacement image has a different file extension, remove {{duplicate|Image:...}} and replace with {{superseded|Image:...}} (if it's not already there) with edit summary '{{duplicate}} is only for exactly identical images, please don't use it for different file types, they cannot be identical'.
Done (in commons_dupes.php).
Magnus