Merge branch 'maint' into debian-packaging