> Wasn't a release programmed on December 1st? I think it is already
> December 2nd here. A new release will somehow stop these (those?) guys
> from this kind of theoretical philosophy, I think ;)

the documentation can be read to imply that releases are _at most_
every six months.

do we actually _require_ a release? -- there hasn't been much in the
bugs database...