naddy@ changed many things: Remove Bonk, an experimental audio codec that never saw wide adoption. Last release 12 years ago, superseded...