Greetings. I have the ok from the Release Managers to consider this issue as RC for stretch. I'm going to wait at least one week before raising this to "serious". If you need help to fix this bug, please tag it as "help". Thanks.