I had put it back but it was doing nothing, so I found an (old) plugin that seems to do the trick – it removes the title attribute completely but keeps the alt attribute.