Looks like @benpeker hasn't received any replies yet!