Today a number of bugfix releases have been done. All fix a number of bugs and inconveniences, as is to be expected.