Looks like @dmargulies hasn't received any replies!