(this is why I recommend raising a ticket – it puts it on the radar of our devs)