Looks like @thomasanderson hasn't received any replies!