Looks like @halpern hasn't received any replies!