Inside the Daily Life of a Software Publisher: Fixing a Droid Performance Bug Thanks to the Digital Preservation Community