there were some issues with 4.4.0 (packaging and some bugs). At the
moment I'm still away from my computer, but I will have time to start
working on xboard again next weekend. It will probably take me a week or
so to get all the changes into git that I got from HGM (bug fixes and
new features). Thinking of releasing a new version after that, we
probably should call that one 4.4.1 instead of 4.4.0a. What do you all
think? Alternatively we could also do 4.4.0a to just fix the packaging,
but then we would have a 4.4.1 soon anyway with the new features...