Duplicate question

Sorry @uthinu. I was focused on the loss of the answer. I missed that you’d edited it and it had been duplicated. There’s a bug tracking that issue: