Great, I'm glad to hear it.

> You do know

No, I did not know when I posted that comment. steveklabnik's comment was posted concurrently with mine, and I did not feel the need to scour the whole thread in case there happened to be an answer to this specific question from an Oxide employee. But thank you for the data point.