Documentation on the debdesc file format