I mark this as fixed released because the current version of the dist-upgrader has a bigger safety buffer that should be enough now.
I mark this as fixed released because the current version of the dist-upgrader has a bigger safety buffer that should be enough now.