[PD-dev] [pure-data:bugs] #1154 iemlib/mp3play~ missing or forgot to remove its help file