To everyone: this thread has been moved to the Office Hours category, which changes the rules of participation. Sorry for the switch, but we can make this work.
Please direct questions to the Side Comments thread unless you have relevant expertise. Paul has been very good about addressing most questions so far, so I’m pretty sure he will get to the side comments too.