thanks for flagging this, I'll put some labels on it to raise the visibility (should be labelled "bug" for example, and be routed to the core team)