I did not fully understand the issue when I first wrote that comment and posted it in the wrong place on a Sync for Reddit thread.

Nor did I fully understand the issue when I copied that comment here.

But I did figure out a few moments later when I read the referenced report.

I appreciate the clarification, as I’m sure will others.

I’ve switched back to Boost in the interim.