I don’t know what do write here just yet, and I don’t have the time to write anything anyway, but thanks all for the discussion! Hopefully I’ll be able to get back and get some general thoughts written up here, eventually.