@carlw Good point 🙂 I was a little surprised that this turned up. The last time we looked at it I think we concluded that it was hard to fix without changing the API, but that it really shouldn't bother anyone. I think even a println will delay it enough that ui would be picked up.