... On the other hand these small minor updates keep coming in a rather quick succession, so this issue will hopefully be addressed and fixed soon.