At this point we want to keep complete ownership in one hand
to particularly avoid any additional co-authorship claims.
Thus please refrain from generating pull requests.  Use the issue
tracker or send email to 'biere@jku.at' instead.