* debian/control:
  - clean up package descriptions a bit
releasing 3.12
opening 3.13