Inside the daily life of a software publisher: Fixing a Droid Performance bug thanks to the digital preservation community