To simplify the preparation of proper maintenance releases, I just
created a separate maintenance branch ("maint"). From now on, all
maintenance-related commits will be merged into this branch.I also decided to delete the "stable" branch which used to be nothing more than a reference to the latest release. Follow the "maint" branch or checkout the latest annotated tag instead.
