Cross-posted. I'll add Sam's tune when I have a moment.

Meanwhile, someone has unhelpfully revived another, later thread that was started unnecessarily in the first place, and the discussion is now split with that.